| .. |
|
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
|
update header guards to be C++ style. Fixes issue #9
|
2015-07-08 23:18:40 -07: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
|
update header guards to be C++ style. Fixes issue #9
|
2015-07-08 23:18:40 -07:00 |
|
hitting_sets.cpp
|
fix gcc compiler warnings
|
2015-05-16 11:56:04 +01:00 |
|
hitting_sets.h
|
update header guards to be C++ style. Fixes issue #9
|
2015-07-08 23:18:40 -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
|
update header guards to be C++ style. Fixes issue #9
|
2015-07-08 23:18:40 -07:00 |
|
maxres.cpp
|
use appropriate MaxSAT solver even if there are no soft constraints. Also avoid PB constraints when all soft constraints are false. Reported by Klaus Becker
|
2015-11-02 08:18:51 -08:00 |
|
maxres.h
|
update header guards to be C++ style. Fixes issue #9
|
2015-07-08 23:18:40 -07:00 |
|
maxsls.cpp
|
revising pd-maxres
|
2015-08-23 10:53:39 -07:00 |
|
maxsls.h
|
update header guards to be C++ style. Fixes issue #9
|
2015-07-08 23:18:40 -07:00 |
|
maxsmt.cpp
|
fix uninitialized variable
|
2015-11-14 10:35:06 -08:00 |
|
maxsmt.h
|
reworking pd-maxres
|
2015-08-20 12:20:30 -07:00 |
|
mss.cpp
|
basic primal/dual
|
2014-08-29 16:24:46 -07:00 |
|
mss.h
|
update header guards to be C++ style. Fixes issue #9
|
2015-07-08 23:18:40 -07:00 |
|
mus.cpp
|
tabs and indentation
|
2015-09-17 13:25:22 +01:00 |
|
mus.h
|
update header guards to be C++ style. Fixes issue #9
|
2015-07-08 23:18:40 -07:00 |
|
opt_cmds.cpp
|
make :weight understand both decimal and integral values, remove dweight, remove deprecated commands for optimization
|
2015-08-15 00:48:22 +02:00 |
|
opt_cmds.h
|
update header guards to be C++ style. Fixes issue #9
|
2015-07-08 23:18:40 -07:00 |
|
opt_context.cpp
|
expose labels from optimization. Move printing of objectives to after sat/unsat. Cahnge format to something that is somewhat related to how other output is created. Issue #325.
|
2015-11-18 09:42:12 -08:00 |
|
opt_context.h
|
expose labels from optimization. Move printing of objectives to after sat/unsat. Cahnge format to something that is somewhat related to how other output is created. Issue #325.
|
2015-11-18 09:42:12 -08:00 |
|
opt_params.pyg
|
enable incremental bit-vector solving
|
2015-09-01 09:48:35 -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
|
update header guards to be C++ style. Fixes issue #9
|
2015-07-08 23:18:40 -07:00 |
|
opt_sls_solver.h
|
update header guards to be C++ style. Fixes issue #9
|
2015-07-08 23:18:40 -07:00 |
|
opt_solver.cpp
|
working on Forking/Serializing a z3 Solver #209
|
2015-11-06 17:29:24 -08:00 |
|
opt_solver.h
|
working on Forking/Serializing a z3 Solver #209
|
2015-11-06 17:29:24 -08: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
|
update header guards to be C++ style. Fixes issue #9
|
2015-07-08 23:18:40 -07:00 |
|
pb_sls.cpp
|
add sls
|
2014-08-12 19:24:31 -07:00 |
|
pb_sls.h
|
update header guards to be C++ style. Fixes issue #9
|
2015-07-08 23:18:40 -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
|
update header guards to be C++ style. Fixes issue #9
|
2015-07-08 23:18:40 -07:00 |
