| .. |
|
check_sat_result.cpp
|
first eufi example running
|
2018-06-14 16:08:52 -07:00 |
|
check_sat_result.h
|
first eufi example running
|
2018-06-14 16:08:52 -07:00 |
|
CMakeLists.txt
|
move parallel-tactic to solver level
|
2018-04-16 08:21:21 -07:00 |
|
combined_solver.cpp
|
first eufi example running
|
2018-06-14 16:08:52 -07:00 |
|
combined_solver.h
|
make include paths uniformly use path relative to src. #534
|
2017-07-31 13:24:11 -07:00 |
|
combined_solver_params.pyg
|
solver factories, cleanup solver API, simplified strategic solver, added combined solver
|
2012-12-11 17:47:27 -08:00 |
|
mus.cpp
|
first eufi example running
|
2018-06-14 16:08:52 -07:00 |
|
mus.h
|
first eufi example running
|
2018-06-14 16:08:52 -07:00 |
|
parallel_params.pyg
|
fix local search initialization of units, encode offset in clauses
|
2018-04-28 22:26:01 +02:00 |
|
parallel_tactic.cpp
|
fix python build script dependencies
|
2018-05-23 09:21:33 -07:00 |
|
parallel_tactic.h
|
move parallel-tactic to solver level
|
2018-04-16 08:21:21 -07:00 |
|
progress_callback.h
|
update header guards to be C++ style. Fixes issue #9
|
2015-07-08 23:18:40 -07:00 |
|
smt_logics.cpp
|
Added tactic for QF_FPLRA
|
2018-04-24 12:43:11 +01:00 |
|
smt_logics.h
|
smt_setup framework, all hooks to theory_str are redirected to theory_seq
|
2017-05-02 17:16:35 -04:00 |
|
solver.cpp
|
solver::check_sat_cc : check_sat assuming cube and clause
|
2018-06-14 16:08:50 -07:00 |
|
solver.h
|
move to list of clauses
|
2018-06-14 16:08:50 -07:00 |
|
solver2tactic.cpp
|
first eufi example running
|
2018-06-14 16:08:52 -07:00 |
|
solver2tactic.h
|
add stubs for converting assertions, consolidate filter_model_converter
|
2017-11-17 14:51:13 -08:00 |
|
solver_na2as.cpp
|
move to list of clauses
|
2018-06-14 16:08:50 -07:00 |
|
solver_na2as.h
|
move to list of clauses
|
2018-06-14 16:08:50 -07:00 |
|
solver_pool.cpp
|
first eufi example running
|
2018-06-14 16:08:52 -07:00 |
|
solver_pool.h
|
Add additional API to solver_pool
|
2018-06-14 16:08:49 -07:00 |
|
tactic2solver.cpp
|
first eufi example running
|
2018-06-14 16:08:52 -07:00 |
|
tactic2solver.h
|
Use nullptr.
|
2018-02-12 14:05:55 +07:00 |
