search

lsils / bill

C++ header-only reasoning library
MIT License
11 stars 6 forks source link

Check clauses #2

Closed hriener closed 5 years ago

hriener commented 5 years ago

This PR adds a state variable to the SAT solver interface to store the result of intermediate simplifications.