Skip to content

lhamouche/pysat

 
 

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

10 Commits
 
 
 
 
 
 

Repository files navigation

README

This is a CDCL Python (3.X) native implementation. It is very slow (like 10x-50x times) but the data structure is a native python one, made with as many tricks as possible. It is a nice toy to play with.

Learn Clause Learning Algorithms

The idea is to be able to quickly play with CDCL concepts. If you understand it, you can dig into Minisat/Glucose source code now!

How to use it?

Just go into the src directory and type: '' python pysat.py ../example/sample.cnf ''

Note: the DPLL implementation is not yet working. Need to implement a proper heuristics mechanism.

Good luck!

About

No description, website, or topics provided.

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages

  • Python 100.0%