Yirmibes / cadical

Simplified Satisfiability Solver

•     Debian Science Maintainers
•     debian-science-maintainers@alioth-lists.debian.net
•     http://fmv.jku.at/cadical/
•     1.7.4-1+b1
•     cadical_1.7.4-1+b1_amd64.deb
•     386.8 KiB
•     math
•     amd64
•      cadical_1.7.4-1.debian.tar.xz
            cadical_1.7.4-1.dsc
            cadical_1.7.4.orig.tar.gz
•     Debian Versiyonu: 1.7.4-1+b1
•     Simplified Satisfiability Solver

Diğer Pardus sürümlerindeki versiyonlar