#

resolution-rule

Here is 1 public repository matching this topic...

vpozdnyakov / sat_solver_resolution

SAT-solver based on resolution method in 2-CNF using PLY

parsing lex ply cnf sat-solver hse 2-sat resolution-rule

Updated Jan 31, 2020
Python

Improve this page

Add a description, image, and links to the resolution-rule topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the resolution-rule topic, visit your repo's landing page and select "manage topics."