summaryrefslogtreecommitdiff
path: root/src/smt/optimization_solver.h
AgeCommit message (Expand)Author
2021-07-05Add some printing functions for OptimizationObjective and OptimizationResult ...Ouyancheng
2021-06-15[Optimization] Use Result in OptimizationResult (#6740)Ouyancheng
2021-06-09[Optimization] support for push/pop (#6706)Ouyancheng
2021-05-28(Optimization) remove popObjective, add resetObjectives, rename pushObjective...Ouyancheng
2021-05-27Add Lexicographic + Pareto Optimizations (#6626)Ouyancheng
2021-05-27Add support for Box optimization (#6599)Ouyancheng
2021-05-05Add helper functions for multi-objective optimization + refactoring (#6473)Ouyancheng
2021-04-30Refactor optimization result and objective classes + add preliminary support ...Ouyancheng
2021-04-14Rename public and private headers in src/include. (#6352)Aina Niemetz
2021-04-12Refactor and update copyright headers. (#6316)Aina Niemetz
2021-04-09Rename CVC4__ header guards to CVC5__. (#6326)Aina Niemetz
2021-04-05Optimizer for BitVectors (#6213)Yancheng Ou
2021-04-01Rename namespace CVC5 to cvc5. (#6258)Aina Niemetz
2021-03-31Rename namespace CVC4 to CVC5. (#6249)Aina Niemetz
2021-03-16cmake: Generate cvc4_export.h and set visibility to hidden. (#6139)Mathias Preiner
2021-03-11Delete Expr layer. (#6117)Aina Niemetz
2021-03-09Update copyright headers to 2021. (#6081)Aina Niemetz
2021-03-05Initial implementation of an optimization solver with unit tests. (#5849)mcjuneho
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback