3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-10-07 08:21:56 +00:00
z3/src/sat
Nikolaj Bjorner 7835388361 #5223
2021-05-01 15:31:05 -07:00
..
sat_solver call it data instead of c_ptr for approaching C++11 std::vector convention. 2021-04-13 18:17:35 -07:00
smt #5223 2021-05-01 15:31:05 -07:00
tactic call it data instead of c_ptr for approaching C++11 std::vector convention. 2021-04-13 18:17:35 -07:00
CMakeLists.txt bv and gc of literals (#4692) 2020-09-17 14:24:07 -07:00
dimacs.cpp call it data instead of c_ptr for approaching C++11 std::vector convention. 2021-04-13 18:17:35 -07:00
dimacs.h fixes to dt_solver and related 2021-02-27 11:03:20 -08:00
sat_aig_cuts.cpp call it data instead of c_ptr for approaching C++11 std::vector convention. 2021-04-13 18:17:35 -07:00
sat_aig_cuts.h
sat_aig_finder.cpp
sat_aig_finder.h
sat_allocator.h
sat_anf_simplifier.cpp call it data instead of c_ptr for approaching C++11 std::vector convention. 2021-04-13 18:17:35 -07:00
sat_anf_simplifier.h
sat_asymm_branch.cpp optimizations to bv-solver and euf-egraph (#4698) 2020-09-20 06:47:27 -07:00
sat_asymm_branch.h
sat_asymm_branch_params.pyg
sat_bcd.cpp
sat_bcd.h
sat_big.cpp call it data instead of c_ptr for approaching C++11 std::vector convention. 2021-04-13 18:17:35 -07:00
sat_big.h
sat_binspr.cpp
sat_binspr.h arrays (#4684) 2020-09-13 19:29:59 -07:00
sat_clause.cpp
sat_clause.h bv and gc of literals (#4692) 2020-09-17 14:24:07 -07:00
sat_clause_set.cpp
sat_clause_set.h
sat_clause_use_list.cpp
sat_clause_use_list.h
sat_cleaner.cpp
sat_cleaner.h
sat_config.cpp move to get_sort as method, add opt_lns pass, disable xor simplification unless configured, fix perf bug in model converter update trail 2021-02-02 03:58:19 -08:00
sat_config.h move to get_sort as method, add opt_lns pass, disable xor simplification unless configured, fix perf bug in model converter update trail 2021-02-02 03:58:19 -08:00
sat_cut_simplifier.cpp call it data instead of c_ptr for approaching C++11 std::vector convention. 2021-04-13 18:17:35 -07:00
sat_cut_simplifier.h
sat_cutset.cpp
sat_cutset.h
sat_cutset_compute_shift.h
sat_ddfw.cpp call it data instead of c_ptr for approaching C++11 std::vector convention. 2021-04-13 18:17:35 -07:00
sat_ddfw.h call it data instead of c_ptr for approaching C++11 std::vector convention. 2021-04-13 18:17:35 -07:00
sat_drat.cpp call it data instead of c_ptr for approaching C++11 std::vector convention. 2021-04-13 18:17:35 -07:00
sat_drat.h delay internalization, relevancy (#4707) 2020-09-23 17:12:01 -07:00
sat_elim_eqs.cpp fix #4955 2021-01-20 00:30:11 -08:00
sat_elim_eqs.h
sat_elim_vars.cpp call it data instead of c_ptr for approaching C++11 std::vector convention. 2021-04-13 18:17:35 -07:00
sat_elim_vars.h
sat_extension.h #5211 2021-04-22 22:42:05 -07:00
sat_gc.cpp fix gc of pb constraints 2021-01-19 03:38:00 -08:00
sat_integrity_checker.cpp bv and gc of literals (#4692) 2020-09-17 14:24:07 -07:00
sat_integrity_checker.h
sat_justification.h
sat_local_search.cpp call it data instead of c_ptr for approaching C++11 std::vector convention. 2021-04-13 18:17:35 -07:00
sat_local_search.h
sat_lookahead.cpp Add support of the SunOS platform (Solaris, OpenSolaris, OpenIndiana) (#4757) 2020-10-27 11:39:21 -07:00
sat_lookahead.h streamline pb solver interface and naming after removal of xor 2021-02-28 12:32:04 -08:00
sat_lut_finder.cpp
sat_lut_finder.h arrays (#4684) 2020-09-13 19:29:59 -07:00
sat_model_converter.cpp call it data instead of c_ptr for approaching C++11 std::vector convention. 2021-04-13 18:17:35 -07:00
sat_model_converter.h
sat_mus.cpp call it data instead of c_ptr for approaching C++11 std::vector convention. 2021-04-13 18:17:35 -07:00
sat_mus.h
sat_npn3_finder.cpp
sat_npn3_finder.h
sat_parallel.cpp call it data instead of c_ptr for approaching C++11 std::vector convention. 2021-04-13 18:17:35 -07:00
sat_parallel.h call it data instead of c_ptr for approaching C++11 std::vector convention. 2021-04-13 18:17:35 -07:00
sat_params.pyg
sat_prob.cpp call it data instead of c_ptr for approaching C++11 std::vector convention. 2021-04-13 18:17:35 -07:00
sat_prob.h call it data instead of c_ptr for approaching C++11 std::vector convention. 2021-04-13 18:17:35 -07:00
sat_probing.cpp fix #4868 2020-12-07 10:27:00 -08:00
sat_probing.h optimizations to bv-solver and euf-egraph (#4698) 2020-09-20 06:47:27 -07:00
sat_scc.cpp fix #4955 2021-01-20 00:30:11 -08:00
sat_scc.h
sat_scc_params.pyg
sat_simplifier.cpp call it data instead of c_ptr for approaching C++11 std::vector convention. 2021-04-13 18:17:35 -07:00
sat_simplifier.h streamline pb solver interface and naming after removal of xor 2021-02-28 12:32:04 -08:00
sat_simplifier_params.pyg
sat_solver.cpp disable threads for extensions 2021-04-27 21:46:56 -07:00
sat_solver.h call it data instead of c_ptr for approaching C++11 std::vector convention. 2021-04-13 18:17:35 -07:00
sat_solver_core.h optimizations to bv-solver and euf-egraph (#4698) 2020-09-20 06:47:27 -07:00
sat_types.h call it data instead of c_ptr for approaching C++11 std::vector convention. 2021-04-13 18:17:35 -07:00
sat_watched.cpp
sat_watched.h
sat_xor_finder.cpp
sat_xor_finder.h