search

pysathq / pysat

A toolkit for SAT-based prototyping in Python
https://pysathq.github.io/
MIT License
391 stars 71 forks source link

the s->prop_check(a, p, save_phase) in solvers/pysolvers.cc #174

Closed zhangran7 closed 4 months ago

zhangran7 commented 4 months ago

Can anyone tell me, where is the definition of function prop_check(a, p, save_phase)? thx!!

alexeyignatiev commented 4 months ago

Various solvers have it defined in different files. If you are interested in MiniSat-based solvers, those define it in core/Solver.cc.

zhangran7 commented 4 months ago

Various solvers have it defined in different files. If you are interested in MiniSat-based solvers, those define it in core/Solver.cc.

But i can not find any prop_check( ) in core/Solver.cc in minisat22, please give me more hints，thx..

alexeyignatiev commented 4 months ago

The method is defined in lines 438-486 of the file core/Solver.cc. The definition is added by the patch minisat22.patch.