Package Details: cadical sc18-1

Git Clone URL: https://aur.archlinux.org/cadical.git (read-only)
Package Base: cadical
Description: A simple CDCL satisfiability solver
Upstream URL: http://fmv.jku.at/cadical/
Licenses: MIT
Submitter: keenerd
Maintainer: keenerd
Last Packager: keenerd
Votes: 0
Popularity: 0.000000
First Submitted: 2019-04-29 03:43
Last Updated: 2019-04-29 03:43

Dependencies (0)

Required by (0)

Sources (1)