Search Criteria
Package Details: squolem 2.02-1
Package Actions
Git Clone URL: | https://aur.archlinux.org/squolem.git (read-only, click to copy) |
---|---|
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 (UTC) |
Last Updated: | 2015-06-15 06:41 (UTC) |
Latest Comments
micwoj92 commented on 2021-04-27 00:30 (UTC)
Hello, could you update links to https?