Package Details: squolem 2.02-1

Git Clone URL: https://aur.archlinux.org/squolem.git (read-only)
Package Base: squolem
Description: Skolemization-based Quantified Boolean Formula (QBF) solver that generates certificates
Upstream URL: http://www.cprover.org/qbv/
Licenses: custom:qbv
Submitter: xrchz
Maintainer: xrchz
Last Packager: xrchz
Votes: 1
Popularity: 0.000000
First Submitted: 2010-11-19 10:59
Last Updated: 2015-06-15 06:41