Package Details: limboole 1.1-1

Git Clone URL: https://aur.archlinux.org/limboole.git (read-only)
Package Base: limboole
Description: A simple tool for checking satisfiability respectively tautology on arbitrary structural formulas.
Upstream URL: http://fmv.jku.at/limboole/
Keywords: SAT solver
Licenses: MIT
Submitter: pointhi
Maintainer: pointhi
Last Packager: pointhi
Votes: 0
Popularity: 0.000000
First Submitted: 2015-11-24 17:46
Last Updated: 2015-11-24 18:05