cadical
Simplified Satisfiability Solver

NEW: Take a look at the new package tracker: tracker.debian.org/pkg/cadical

general

source
cadical (optional, misc)
version
1.7.4-1
maint
Debian Science Maintainers, Scott Talbert (u)
std-ver
4.6.2
VCS
Git (browse)

versions ... ...pool

stable
save 1.5.3-2
testing
save 1.7.4-1
unstable
save 1.7.4-1
Ubuntu
1.7.4-1

binaries

todo

  • A new upstream version is available: 2.0.0-rc.6, you should consider packaging it.

news RSS

bugs

all bug history graph
0
RC
0
I&N
0
M&W
0
F&P
0

links

patches

Debian
1.5.3-2 1.7.4-1 1.7.4-1

subscribe to this package (docs)

Debian Package Tracking System - Copyright © 2002-2014 Raphaël Hertzog, Stefano Zacchiroli and others.
Report problems to the qa.debian.org pseudopackage in the Debian BTS.
git revision 537db4c | Checkout or browse git repository
Last modified: 2024-03-31T02:51:45+00:00.