pfolioUZK

This is a portfolio solver pfolioUZK, a naive parallel portfolio SAT solver based on the implementation of pico-portfolio by Olivier Roussel 2010. Version: SAT Challenge 2012

Keywords for this software

Anything in here will be replaced on browsers that support the canvas element