HordeSat

HordeSat is a massively parallel portfolio satisfiability solver. For more information visit the homepage https://baldur.iti.kit.edu/hordesat/

Build and use HordeSat

run the ./makehordesat.sh script.