| .. |
|
bcd2.cpp
|
separate MaxSMT functionality to enable using this independently (and incrementally) of overall context
|
2015-02-16 09:11:28 +01:00 |
|
bcd2.h
|
separate MaxSMT functionality to enable using this independently (and incrementally) of overall context
|
2015-02-16 09:11:28 +01:00 |
|
fu_malik.cpp
|
separate MaxSMT functionality to enable using this independently (and incrementally) of overall context
|
2015-02-16 09:11:28 +01:00 |
|
fu_malik.h
|
separate MaxSMT functionality to enable using this independently (and incrementally) of overall context
|
2015-02-16 09:11:28 +01:00 |
|
hitting_sets.cpp
|
fix gcc compiler warnings
|
2015-05-16 11:56:04 +01:00 |
|
hitting_sets.h
|
use approximate hitting set implementation
|
2014-06-14 14:08:55 -07:00 |
|
maxhs.cpp
|
separate MaxSMT functionality to enable using this independently (and incrementally) of overall context
|
2015-02-16 09:11:28 +01:00 |
|
maxhs.h
|
separate MaxSMT functionality to enable using this independently (and incrementally) of overall context
|
2015-02-16 09:11:28 +01:00 |
|
maxres.cpp
|
separate MaxSMT functionality to enable using this independently (and incrementally) of overall context
|
2015-02-16 09:11:28 +01:00 |
|
maxres.h
|
separate MaxSMT functionality to enable using this independently (and incrementally) of overall context
|
2015-02-16 09:11:28 +01:00 |
|
maxsls.cpp
|
separate MaxSMT functionality to enable using this independently (and incrementally) of overall context
|
2015-02-16 09:11:28 +01:00 |
|
maxsls.h
|
separate MaxSMT functionality to enable using this independently (and incrementally) of overall context
|
2015-02-16 09:11:28 +01:00 |
|
maxsmt.cpp
|
separate MaxSMT functionality to enable using this independently (and incrementally) of overall context
|
2015-02-16 09:11:28 +01:00 |
|
maxsmt.h
|
separate MaxSMT functionality to enable using this independently (and incrementally) of overall context
|
2015-02-16 09:11:28 +01:00 |
|
mss.cpp
|
basic primal/dual
|
2014-08-29 16:24:46 -07:00 |
|
mss.h
|
basic primal/dual
|
2014-08-29 09:52:56 -07:00 |
|
mus.cpp
|
fix debian amd64 warnings
|
2015-05-18 15:17:21 -07:00 |
|
mus.h
|
working on mss/mus v2
|
2014-08-29 08:39:31 -07:00 |
|
opt_cmds.cpp
|
n/a
|
2015-05-28 20:55:13 -07:00 |
|
opt_cmds.h
|
Create callbacks for min_maximize_cmd
|
2013-10-15 11:52:27 -07:00 |
|
opt_context.cpp
|
add model on unknown, to address issue #139
|
2015-06-23 14:45:52 +02:00 |
|
opt_context.h
|
print pareto model in check-sat too
|
2015-05-29 08:55:44 -07:00 |
|
opt_params.pyg
|
enable SAT solver by default for MaxSAT constraints
|
2015-04-02 17:09:01 -07:00 |
|
opt_pareto.cpp
|
use PB solver instead of full arithmetic for bouding Pareto fronts so that difference logic theory isn't broken. Codeplex issue 175
|
2015-02-22 09:46:21 -08:00 |
|
opt_pareto.h
|
integrating new integer primal loop
|
2015-01-20 16:38:45 -08:00 |
|
opt_sls_solver.h
|
separate inc sat solver for now
|
2014-05-15 11:25:05 -07:00 |
|
opt_solver.cpp
|
fixes to githup issue #133 and stackoverflow reported bug on assertion violation in poly_simplifier_plugin
|
2015-06-21 13:49:15 -07:00 |
|
opt_solver.h
|
remove old files
|
2015-06-02 09:15:08 -07:00 |
|
optsmt.cpp
|
remove ite terms from objectives to synchronize values in tableau with objective value. Fixes part of (three repros) from issue #120
|
2015-06-02 10:38:22 -07:00 |
|
optsmt.h
|
fixes to #52, #53
|
2015-04-28 14:48:59 -07:00 |
|
pb_sls.cpp
|
add sls
|
2014-08-12 19:24:31 -07:00 |
|
pb_sls.h
|
fix sls based on pkb120
|
2014-05-05 19:22:34 -07:00 |
|
wmax.cpp
|
separate MaxSMT functionality to enable using this independently (and incrementally) of overall context
|
2015-02-16 09:11:28 +01:00 |
|
wmax.h
|
separate MaxSMT functionality to enable using this independently (and incrementally) of overall context
|
2015-02-16 09:11:28 +01:00 |
