Skip to content
Branch: master
Go to file
Code

Latest commit

Files

Permalink
Failed to load latest commit information.
Type
Name
Latest commit message
Commit time
 
 
 
 
 
 
 
 
 
 

README.rst

PySat

PySat is sat solver on python.

Features

  • Python
  • CDCL algorithm
  • Watching Literal

How to Use

This script tested in Python2.7.5, Python3.3.2, PyPy2(2.2-1) and PyPy3(2.1beta1-2). - $ ./pysat.py {cnf file}

About

sat solver on python

Resources

License

Releases

No releases published

Languages

You can’t perform that action at this time.