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.
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.