Show us your stuff – Create a SAT solver that takes blif format as input and outputs a solution to the satisfiability problem. Award to the fastest program using a multithreaded CPU
Newsletter sign-up
Sign up to our newsletter to receive information about new competitions!