Skip to content

A naive implementation of Algorithmic Lovász local lemma.

Notifications You must be signed in to change notification settings

opensat/LovaszSAT

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

2 Commits
 
 
 
 
 
 
 
 
 
 

Repository files navigation

A naive implementation of Algorithmic Lovász local lemma

  • The generator.py implements a function to generate SAT instance which are satisfied for Lovasz local lemma constrain.
  • The solver.py provides a solver which is based on the naive algorithmic lovasz local lemma.
  • The main.py provides a demo for the implementation, as for comparison I add a pysat solver so to run it you need to install PySAT by pip install python-sat (or you can just comment the PySAT part in code).

About

A naive implementation of Algorithmic Lovász local lemma.

Topics

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages