-
Notifications
You must be signed in to change notification settings - Fork 0
License
arminbiere/satsort
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
Sorting utility based on the SAT solver Kissat used in a demo presented in the talk "Fueling the SAT Revolution" of the seminar Verified software: tools and experiments https://www.newton.ac.uk/event/vsow04 at the Isaac Newton Institute in June 2021. Install and compile 'kissat' in '../kissat' and run 'make'. To sort run for instance shuf organizers | ./satsort You can also generate CNF in DIMACS format instead and feed it into for instance 'kissat' directly shuf organizers | ./satsort -d | kissat but this will not allow you to get back the sorted input. Armin Biere Di Jun 8 18:24:51 CEST 2021
About
No description, website, or topics provided.
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published