projects
/
cvc5.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
Revert #7257 (#7337)
[cvc5.git]
/
src
/
omt
/
2021-10-01
Aina Niemetz
Rename SmtEngine to SolverEngine. (#7282)
tree
|
commitdiff
2021-09-30
Aina Niemetz
Rename files smt_engine.(cpp|h) to solver_engine.(cpp...
tree
|
commitdiff
2021-06-15
Ouyancheng
[Optimization] Use Result in OptimizationResult (#6740)
tree
|
commitdiff
2021-06-09
Ouyancheng
[Optimization] support for push/pop (#6706)
tree
|
commitdiff
2021-05-27
Ouyancheng
Add support for Box optimization (#6599)
tree
|
commitdiff
2021-05-26
Andres Noetzli
More precise includes of `Node` constants (#6617)
tree
|
commitdiff
2021-05-05
Ouyancheng
Add helper functions for multi-objective optimization...
tree
|
commitdiff
2021-04-30
Ouyancheng
Refactor optimization result and objective classes...
tree
|
commitdiff
2021-04-28
Ouyancheng
Fix BV Optimization Boundary Condition when lower bound...
tree
|
commitdiff
2021-04-12
Aina Niemetz
Refactor and update copyright headers. (#6316)
tree
|
commitdiff
2021-04-09
Aina Niemetz
Rename CVC4__ header guards to CVC5__. (#6326)
tree
|
commitdiff
2021-04-05
Yancheng Ou
Optimizer for BitVectors (#6213)
tree
|
commitdiff