mirror of
https://github.com/Z3Prover/z3
synced 2025-04-08 10:25:18 +00:00
Initial NPN3 finder with MUX and MAJ finder.
This commit is contained in:
parent
80c98dfb1f
commit
4d0519fe3c
|
@ -26,6 +26,7 @@ z3_add_component(sat
|
|||
sat_lut_finder.cpp
|
||||
sat_model_converter.cpp
|
||||
sat_mus.cpp
|
||||
sat_npn3_finder.cpp
|
||||
sat_parallel.cpp
|
||||
sat_prob.cpp
|
||||
sat_probing.cpp
|
||||
|
|
BIN
src/sat/sat_npn3_finder.cpp
Normal file
BIN
src/sat/sat_npn3_finder.cpp
Normal file
Binary file not shown.
BIN
src/sat/sat_npn3_finder.h
Normal file
BIN
src/sat/sat_npn3_finder.h
Normal file
Binary file not shown.
|
@ -220,6 +220,7 @@ namespace sat {
|
|||
friend class xor_finder;
|
||||
friend class aig_finder;
|
||||
friend class lut_finder;
|
||||
friend class npn3_finder;
|
||||
public:
|
||||
solver(params_ref const & p, reslimit& l);
|
||||
~solver() override;
|
||||
|
|
Loading…
Reference in a new issue