Package Details: cadical-pic 1.7.2-2

Git Clone URL: (read-only, click to copy)
Package Base: cadical-pic
Description: A simple CDCL satisfiability solver with feature PIC enabled
Upstream URL:
Licenses: MIT
Conflicts: cadical
Provides: cadical
Submitter: Neferin
Maintainer: Neferin
Last Packager: Neferin
Votes: 0
Popularity: 0.000000
First Submitted: 2023-09-16 21:06 (UTC)
Last Updated: 2023-09-17 15:24 (UTC)