This repository contains some sat related scripts/algorithms implemented with pysat.
Few test instances are included and scripts are dockerized. No need to fight with python and pip locally. Just build docker images and run them.
-
Notifications
You must be signed in to change notification settings - Fork 0
esakemp/sat-scripts
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Some SAT algorithms implemented with PySAT
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published