picosat (math/picosat) Add to my watchlist

picosat is a SAT solver
Version: 965 License: MIT

GitHub

Maintainers	No Maintainer
Categories	science math
Homepage	http://fmv.jku.at/picosat/
Platforms	darwin
Variants	universal (Build for multiple architectures)

clang-9.0

build (1)

boolector

Loading Port Health

1