summaryrefslogtreecommitdiff
path: root/src/smt/optimization_solver.cpp
AgeCommit message (Expand)Author
2021-07-05Add some printing functions for OptimizationObjective and OptimizationResult ...Ouyancheng
2021-07-01Add recursive function definitions to subsolver in sygus (#6824)Andrew Reynolds
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-12Refactor and update copyright headers. (#6316)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-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