search

nmanthey / riss-solver

sequential and parallel SAT solver
GNU Lesser General Public License v2.1
8 stars 3 forks source link

Analyze final #3

Closed nmanthey closed 6 years ago

nmanthey commented 6 years ago

Fix incremental interface for top level conflicts that are related to assumptions, as used e.g. in hardware model checkers.