Package Details: squolem 2.02-1

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?