Yirmibes / libcadical-dev

Simplified Satisfiability Solver (development files)

•     Debian Science Maintainers
•     debian-science-maintainers@alioth-lists.debian.net
•     http://fmv.jku.at/cadical/
•     1.7.4-1+b1
•     libcadical-dev_1.7.4-1+b1_amd64.deb
•     343.9 KiB
•     libdevel
•     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 (development files)

Diğer Pardus sürümlerindeki versiyonlar