HordeSat is a massively parallel portfolio satisfiability solver. For more information visit the homepage https://baldur.iti.kit.edu/hordesat/
run the ./makehordesat.sh script.
biotomas/hordesat
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
| Name | Name | Last commit date | ||
|---|---|---|---|---|
HordeSat is a massively parallel portfolio satisfiability solver. For more information visit the homepage https://baldur.iti.kit.edu/hordesat/
run the ./makehordesat.sh script.