Information for cadical

Versions

• 06w
• 1.7.4 (2)
• 1.7.1
• 1.6.0
• 1.5.3 (4)
• 1.5.2 (2)
• 1.5.0
• 1.4.1 (2)
• 1.4.0
• 1.3.0
• 1.2.1
• 1.0.3

Package names

• cadical (7)

Repositories

• AUR
• Debian 12
• Debian 13
• Debian Unstable
• Devuan Unstable
• Fedora 29
• Fedora 30
• Fedora 31
• Fedora 32
• Fedora 33
• Fedora 34
• Fedora 35
• Fedora 36
• Fedora 37
• Fedora 38
• Fedora 39
• Fedora Rawhide
• FreeBSD Ports
• Gentoo
• Homebrew
• Kali Linux Rolling
• LiGurOS stable
• LiGurOS develop
• nixpkgs stable 21.11
• nixpkgs stable 22.05
• nixpkgs stable 22.11
• nixpkgs stable 23.05
• nixpkgs unstable
• PureOS landing
• Raspbian Stable
• Raspbian Testing
• Ubuntu 23.04
• Ubuntu 23.10

Categories

• Unspecified
• math (2)
• misc
• sci-mathematics
• universe/misc

Licenses

• MIT (4)

Summaries

• A simple CDCL satisfiability solver
• Clean and efficient state-of-the-art SAT solver
• Simple CDCL satisfiability solver
• Simplified SAT solver
• Simplified Satisfiability Solver (2)

Maintainers

• debian-science-maintainers@alioth-lists.debian.net
• keenerd@aur
• sci-mathematics@gentoo.org
• shujinarazaki@protonmail.com
• swt@techie.net
• yuri@freebsd.org

• Group email

Homepage links

• http://fmv.jku.at/cadical^redir
• http://fmv.jku.at/cadical/^redir (5)
• https://fmv.jku.at/cadical/^ok
• https://github.com/arminbiere/cadical^{ok, no IPv6}

All package recipes

• https://aur.archlinux.org/cgit/aur.git/tree/PKGBUILD?h=cadical^ok
• https://github.com/Homebrew/homebrew-core/blob/master/Formula/cadical.rb^{ok, no IPv6}
• https://github.com/NixOS/nixpkgs/blob/nixos-unstable/pkgs/applications/science/logic/cadical/default.nix#L42^{ok, no IPv6}
• https://github.com/NixOS/nixpkgs/blob/release-21.11/pkgs/applications/science/logic/cadical/default.nix#L42^{ok, no IPv6}
• https://github.com/NixOS/nixpkgs/blob/release-22.05/pkgs/applications/science/logic/cadical/default.nix#L42^{ok, no IPv6}
• https://github.com/NixOS/nixpkgs/blob/release-22.11/pkgs/applications/science/logic/cadical/default.nix#L42^{ok, no IPv6}
• https://github.com/NixOS/nixpkgs/blob/release-23.05/pkgs/applications/science/logic/cadical/default.nix#L42^{ok, no IPv6}
• https://gitlab.com/liguros/liguros-repo/-/blob/develop/sci-mathematics/cadical/cadical-1.5.2-r1.ebuild^ok
• https://gitlab.com/liguros/liguros-repo/-/blob/develop/sci-mathematics/cadical/cadical-1.5.3-r1.ebuild^ok
• https://gitlab.com/liguros/liguros-repo/-/blob/stable/sci-mathematics/cadical/cadical-1.5.2-r1.ebuild^ok
• https://gitlab.com/liguros/liguros-repo/-/blob/stable/sci-mathematics/cadical/cadical-1.5.3-r1.ebuild^ok
• https://gitweb.gentoo.org/repo/gentoo.git/tree/sci-mathematics/cadical/cadical-1.5.2-r1.ebuild^ok
• https://gitweb.gentoo.org/repo/gentoo.git/tree/sci-mathematics/cadical/cadical-1.5.3-r1.ebuild^ok
• https://src.fedoraproject.org/rpms/cadical/blob/f29/f/cadical.spec^{ok, no IPv6}
• https://src.fedoraproject.org/rpms/cadical/blob/f30/f/cadical.spec^{ok, no IPv6}
• https://src.fedoraproject.org/rpms/cadical/blob/f31/f/cadical.spec^{ok, no IPv6}
• https://src.fedoraproject.org/rpms/cadical/blob/f32/f/cadical.spec^{ok, no IPv6}
• https://src.fedoraproject.org/rpms/cadical/blob/f33/f/cadical.spec^{ok, no IPv6}
• https://src.fedoraproject.org/rpms/cadical/blob/f34/f/cadical.spec^{ok, no IPv6}
• https://src.fedoraproject.org/rpms/cadical/blob/f35/f/cadical.spec^{ok, no IPv6}
• https://src.fedoraproject.org/rpms/cadical/blob/f36/f/cadical.spec^{ok, no IPv6}
• https://src.fedoraproject.org/rpms/cadical/blob/f37/f/cadical.spec^{ok, no IPv6}
• https://src.fedoraproject.org/rpms/cadical/blob/f38/f/cadical.spec^{ok, no IPv6}
• https://src.fedoraproject.org/rpms/cadical/blob/f39/f/cadical.spec^{ok, no IPv6}
• https://src.fedoraproject.org/rpms/cadical/blob/rawhide/f/cadical.spec^{ok, no IPv6}

Downloads

• https://github.com/arminbiere/cadical/archive/refs/tags/rel-1.7.4.tar.gz^{ok, no IPv6}
• https://github.com/arminbiere/cadical/archive/rel-1.5.2.tar.gz^{ok, no IPv6}
• https://github.com/arminbiere/cadical/archive/rel-1.5.3.tar.gz^{ok, no IPv6}

Build logs

• https://kojipkgs.fedoraproject.org/packages/cadical/06w/2.fc29/data/logs/^{ok, no IPv6}
• https://kojipkgs.fedoraproject.org/packages/cadical/06w/3.fc30/data/logs/^{ok, no IPv6}
• https://kojipkgs.fedoraproject.org/packages/cadical/1.0.3/3.fc30/data/logs/^{ok, no IPv6}
• https://kojipkgs.fedoraproject.org/packages/cadical/1.0.3/3.fc31/data/logs/^{ok, no IPv6}
• https://kojipkgs.fedoraproject.org/packages/cadical/1.2.1/2.fc32/data/logs/^{ok, no IPv6}
• https://kojipkgs.fedoraproject.org/packages/cadical/1.3.0/1.fc33/data/logs/^{ok, no IPv6}
• https://kojipkgs.fedoraproject.org/packages/cadical/1.4.0/1.fc34/data/logs/^{ok, no IPv6}
• https://kojipkgs.fedoraproject.org/packages/cadical/1.4.1/2.fc35/data/logs/^{ok, no IPv6}
• https://kojipkgs.fedoraproject.org/packages/cadical/1.5.2/1.fc35/data/logs/^{ok, no IPv6}
• https://kojipkgs.fedoraproject.org/packages/cadical/1.5.2/2.fc36/data/logs/^{ok, no IPv6}
• https://kojipkgs.fedoraproject.org/packages/cadical/1.5.2/3.fc37/data/logs/^{ok, no IPv6}
• https://kojipkgs.fedoraproject.org/packages/cadical/1.5.3/2.fc38/data/logs/^{ok, no IPv6}
• https://kojipkgs.fedoraproject.org/packages/cadical/1.7.1/1.fc39/data/logs/^{ok, no IPv6}
• https://kojipkgs.fedoraproject.org/packages/cadical/1.7.4/1.fc40/data/logs/^{ok, no IPv6}