picosat

v 965

picosat is a SAT solver


http://fmv.jku.at/picosat/

To install picosat, paste this in macOS terminal after installing MacPorts

sudo port install picosat

Add to my watchlist

Installations 1
Requested Installations 1