Package Details: cadical 1.9.5-1

Git Clone URL: https://aur.archlinux.org/cadical.git (read-only, click to copy)
Package Base: cadical
Description: A simple CDCL satisfiability solver
Upstream URL: http://fmv.jku.at/cadical/
Licenses: MIT
Submitter: keenerd
Maintainer: meadow
Last Packager: meadow
Votes: 2
Popularity: 0.000001
First Submitted: 2019-04-29 03:43 (UTC)
Last Updated: 2024-03-26 23:08 (UTC)