Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Numeric support #149

Merged
merged 69 commits into from
Nov 21, 2024
Merged

Numeric support #149

merged 69 commits into from
Nov 21, 2024

Conversation

Shi-Raida
Copy link
Contributor

No description provided.

arbimo added 30 commits August 22, 2024 11:34
@arbimo
bench: add flexible jobshop instances
3ea1bfe
@arbimo
feat(scheduling): Add support for flexible jobshop problems.
9410d80
@arbimo
fix(sat): Relax an overly conservative check in LearningRate branchin…
1083568 
…g heuristic.
@arbimo
perf(scheduling): Improve flexible-jobshop model with top level opera…
12e5c37 
…tions.
@arbimo
chore: refactor cp module, extracting linear constraint implementatio…
ddf1c38 
…n to its own file.
@arbimo
feat(csp): initial implementation of the alternative constraint for i…
0cdd698 
…nteger variables
@arbimo
feat(fjs): redundant constraint that may improve lower bound propagat…
3e88ace 
…ion in flexible JSP
@arbimo
chore: generalize the acceptance of SignedVar in domain manipulation.
c82469a
@arbimo
feat(csp): Allow reconstructing a snapshot of the state at previous p…
ffbc642 
…oint in the past.
@arbimo
chore(csp): Generalize the max propagator.
a7ed838
@arbimo
feat(csp): Implement max/min expressions.
7c2b789
@arbimo
feat(jsp): Add new constraint to improve propagation.
71e515f
@arbimo
chore: fix clippy lints
41ca398
@arbimo
fix(fjs): An instance had an incorrect number of machines
b625cde
@arbimo
fix(sat): Enforce SAT to be the first propagator to ensure its invari…
420dfc0 
…ants remain.

There was subtil bug when sharing solution across thread. Enforcing the tautology may affect the assumptions of the previously learnt clause (which required a work around).
@arbimo
feat(search): Add an option to drive search away from last solution i…
6df2b6f 
…n LRB.

This tends to prove better result that searching towards the last solution when trying to prove optimality.
@arbimo
fix(csp): tautology propagator had an over-zealous sanity check.
3461735
@arbimo
chore(sat): Extract data structure to order literals during explanation.
799c3e7
@arbimo
chore(cp): Simplify linear constraint interface by removing literals.
2390174
@arbimo
feat(cp): Improve explanation of LinearLeq propagator to only have mi…
2dc194f 
…nimal clauses.
@arbimo
fix(jsp): Fix encoding that missed some terms in redundant linear con…
fb63b91 
…straint.
@arbimo
chore(scheduler): Indicates absence of solutions on the stdout
cf01879
@arbimo
feat(search): Support phase saving in the conflict-based brancher.
53d0b83
@arbimo
feat(sat): permanently keep clauses with low LBD
2117c62
@arbimo
feat(search): Add option to periodically select a random variable.
7cba0b1
@arbimo
chore(sched): Also export solution on timeout.
bfbc988
@arbimo
feat(sat): Allow more option for computing the impact of a variable.
5d74d83
@arbimo
feat(sat): Improve command line options of sat solver (timeout + sear…
7db89e6 
…ch tuning)
@arbimo
feat(sat): Add geometric restarts to sat solver.
c7cb932
@arbimo
chore(sat): Use f64 to represent the priority.
c74b19a
arbimo and others added 17 commits November 4, 2024 14:36
@arbimo
fix(ci): Update sat solver command line arguments
45b1cc6
@arbimo
chore(lcp): Kill planner if a thread panics.
cbed900
@arbimo
fix(sat): Keep watches on true literals if clause is satisfied.
3101e9b
@arbimo
perf(sat): Limit clause sharing two clauses of size 3
472b56f 
Larger number seem to arm the performance as some threads would spend there time processing learned clauses.
@arbimo
fix(sat): provide stronger explanation in STN theory propagation.
ccfabc9 
The previous version was unnecessarily careful now that we have eager sat propagation.
@arbimo
fix(stn): Detection of a cycle with optional variables would incorrec…
767b0c9 
…tly flag a conflict.
@arbimo
perf(planning): Deactivate action rolling by default as it seems to s…
ccbd1d9 
…ubstantially arm performance in some domains.
@arbimo
perf(stn): Avoid repropagating inferred edges.
d75d574
@arbimo
chore(lint): Fix clippy lints
9934909
@Shi-Raida
fix(reif): evaluation of EqVarMulLit when lhs is present but rhs is a…
1bb9166 
…bsent
@Shi-Raida
fix(reif): specify EqVarMulLit is not negatable
6ce5e19
@Shi-Raida
feat(linear): add multiplication support
56c659a
@Shi-Raida
feat(planning): encode numeric support constraints
6f70443 
Warning: Some created linear constraints are reified, which is not supported yet. Tagged with `// FIXME: Support reified linear constraints`
@Shi-Raida
refactor(planning): enforce linear sum of numeric support constraints
bcf0751 
Some tests need to be added yet.
@Shi-Raida
fix(env): move comments to be parsable
7ecb0fe
@Shi-Raida
feat(upf): can specify max-depth
3b9a3ca
@Shi-Raida
ci: add IPC problems using UPF
3623aaf
@Shi-Raida Shi-Raida requested a review from arbimo November 14, 2024 21:55
@Shi-Raida Shi-Raida self-assigned this Nov 14, 2024
@arbimo arbimo merged commit 0ba38b9 into master Nov 21, 2024
22 checks passed
@arbimo arbimo deleted the num-support branch November 21, 2024 15:43
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@arbimo arbimo Awaiting requested review from arbimo

Assignees

@Shi-Raida Shi-Raida

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@Shi-Raida @arbimo