/sat-filter

a tool to filter out all clauses satisfied by an assignment

Primary LanguageC

sat-filter

a tool to filter out all clauses satisfied by an assignment