cadical packages - Repology

38 package(s) known

AUR

cadical

1.5.0 (1.5.0-1)

Summary:
A simple CDCL satisfiability solver
Maintainer:
- keenerd@aur
License:
- MIT
Link(s):

Debian 12
^{bookworm/main}

cadical

1.5.3 (1.5.3-2)

Maintainers:
- debian-science-maintainers@alioth-lists.debian.net
- swt@techie.net
Category:
- misc
Link(s):

Debian 13
^trixie/main

cadical

1.5.3 (1.5.3-2)

Maintainers:
- debian-science-maintainers@alioth-lists.debian.net
- swt@techie.net
Category:
- misc
Link(s):

Debian Unstable
^sid/main

cadical

1.5.3 (1.5.3-2)

Maintainers:
- debian-science-maintainers@alioth-lists.debian.net
- swt@techie.net
Category:
- misc
Link(s):

Devuan Unstable
^{unstable/main}

cadical

1.5.3 (1.5.3-2)

Maintainers:
- debian-science-maintainers@alioth-lists.debian.net
- swt@techie.net
Category:
- misc
Link(s):
- Upstream homepage^redir

Fedora 29
^release

cadical

06w (06w-2.fc29)

Summary:
Simplified SAT solver
Category:
- Unspecified
License:
- MIT
Link(s):
- Package page^ok
- Package sources^{ok, no IPv6}
- Package recipe^{ok, no IPv6}
- Package recipe (raw)^{ok, no IPv6}
- Other^{ok, no IPv6}
- Upstream homepage^redir

Fedora 30
^release

cadical

06w (06w-3.fc30)

Summary:
Simplified SAT solver
Category:
- Unspecified
License:
- MIT
Link(s):
- Package page^ok
- Package sources^{ok, no IPv6}
- Package recipe^{ok, no IPv6}
- Package recipe (raw)^{ok, no IPv6}
- Other^{ok, no IPv6}
- Upstream homepage^redir

Fedora 30
^updates

cadical

1.0.3 (1:1.0.3-3.fc30)

Summary:
Simplified SAT solver
Category:
- Unspecified
License:
- MIT
Link(s):
- Package page^ok
- Package sources^{ok, no IPv6}
- Package recipe^{ok, no IPv6}
- Package recipe (raw)^{ok, no IPv6}
- Other^{ok, no IPv6}
- Upstream homepage^redir

Fedora 31
^release

cadical

1.0.3 (1:1.0.3-3.fc31)

Summary:
Simplified SAT solver
Category:
- Unspecified
License:
- MIT
Link(s):
- Package page^ok
- Package sources^{ok, no IPv6}
- Package recipe^{ok, no IPv6}
- Package recipe (raw)^{ok, no IPv6}
- Other^{ok, no IPv6}
- Upstream homepage^redir

Fedora 32
^release

cadical

1.2.1 (1:1.2.1-2.fc32)

Summary:
Simplified SAT solver
Category:
- Unspecified
License:
- MIT
Link(s):
- Package page^ok
- Package sources^{ok, no IPv6}
- Package recipe^{ok, no IPv6}
- Package recipe (raw)^{ok, no IPv6}
- Other^{ok, no IPv6}
- Upstream homepage^redir

Fedora 33
^release

cadical

1.3.0 (1:1.3.0-1.fc33)

Summary:
Simplified SAT solver
Category:
- Unspecified
License:
- MIT
Link(s):
- Package page^ok
- Package sources^{ok, no IPv6}
- Package recipe^{ok, no IPv6}
- Package recipe (raw)^{ok, no IPv6}
- Other^{ok, no IPv6}
- Upstream homepage^redir

Fedora 34
^release

cadical

1.4.0 (1:1.4.0-1.fc34)

Summary:
Simplified SAT solver
Category:
- Unspecified
License:
- MIT
Link(s):
- Package page^ok
- Package sources^{ok, no IPv6}
- Package recipe^{ok, no IPv6}
- Package recipe (raw)^{ok, no IPv6}
- Other^{ok, no IPv6}
- Upstream homepage^redir

Fedora 35
^updates

cadical

1.5.2 (1:1.5.2-1.fc35)

Summary:
Simplified SAT solver
Category:
- Unspecified
License:
- MIT
Link(s):
- Package page^ok
- Package sources^{ok, no IPv6}
- Package recipe^{ok, no IPv6}
- Package recipe (raw)^{ok, no IPv6}
- Other^{ok, no IPv6}
- Upstream homepage^redir

Fedora 35
^release

cadical

1.4.1 (1:1.4.1-2.fc35)

Summary:
Simplified SAT solver
Category:
- Unspecified
License:
- MIT
Link(s):
- Package page^ok
- Package sources^{ok, no IPv6}
- Package recipe^{ok, no IPv6}
- Package recipe (raw)^{ok, no IPv6}
- Other^{ok, no IPv6}
- Upstream homepage^redir

Fedora 36
^release

cadical

1.5.2 (1:1.5.2-2.fc36)

Summary:
Simplified SAT solver
Category:
- Unspecified
License:
- MIT
Link(s):
- Package page^ok
- Package sources^{ok, no IPv6}
- Package recipe^{ok, no IPv6}
- Package recipe (raw)^{ok, no IPv6}
- Other^{ok, no IPv6}
- Upstream homepage^redir

Fedora 37
^release

cadical

1.5.2 (1:1.5.2-3.fc37)

Summary:
Simplified SAT solver
Category:
- Unspecified
License:
- MIT
Link(s):
- Package page^ok
- Package sources^{ok, no IPv6}
- Package recipe^{ok, no IPv6}
- Package recipe (raw)^{ok, no IPv6}
- Other^{ok, no IPv6}
- Upstream homepage^redir

Fedora 38
^release

cadical

1.5.3 (1:1.5.3-2.fc38)

Summary:
Simplified SAT solver
Category:
- Unspecified
License:
- MIT
Link(s):
- Package page^ok
- Package sources^{ok, no IPv6}
- Package recipe^{ok, no IPv6}
- Package recipe (raw)^{ok, no IPv6}
- Other^{ok, no IPv6}
- Upstream homepage^redir

Fedora 39
^development

cadical

1.7.3 (1:1.7.3-1.fc39)

Summary:
Simplified SAT solver
Category:
- Unspecified
License:
- MIT
Link(s):
- Package page^ok
- Package sources^{ok, no IPv6}
- Package recipe^{ok, no IPv6}
- Package recipe (raw)^{ok, no IPv6}
- Other^{ok, no IPv6}
- Upstream homepage^redir

Fedora Rawhide
^development

cadical

1.7.4 (1:1.7.4-1.fc40)

Summary:
Simplified SAT solver
Category:
- Unspecified
License:
- MIT
Link(s):
- Package page^ok
- Package sources^{ok, no IPv6}
- Package recipe^{ok, no IPv6}
- Package recipe (raw)^{ok, no IPv6}
- Other^{ok, no IPv6}
- Upstream homepage^redir

FreeBSD Ports

math/cadical

1.6.0

Summary:
Simple CDCL satisfiability solver
Maintainer:
- yuri@freebsd.org
Category:
- math
Link(s):

Gentoo

sci-mathematics/cadical

1.5.3 (1.5.3-r1)

Summary:
Simplified Satisfiability Solver
Maintainer:
- sci-mathematics@gentoo.org
Category:
- sci-mathematics
License:
- MIT
Link(s):

Gentoo

sci-mathematics/cadical

1.5.2 (1.5.2-r1)

Summary:
Simplified Satisfiability Solver
Maintainer:
- sci-mathematics@gentoo.org
Category:
- sci-mathematics
License:
- MIT
Link(s):

Homebrew

cadical

1.8.0

Summary:
Clean and efficient state-of-the-art SAT solver
Link(s):

Kali Linux Rolling
^main

cadical

1.5.3 (1.5.3-2)

Maintainers:
- debian-science-maintainers@alioth-lists.debian.net
- swt@techie.net
Category:
- misc
Link(s):
- Upstream homepage^redir

LiGurOS stable

sci-mathematics/cadical

1.5.3 (1.5.3-r1)

Summary:
Simplified Satisfiability Solver
Maintainer:
- sci-mathematics@gentoo.org
Category:
- sci-mathematics
License:
- MIT
Link(s):

LiGurOS stable

sci-mathematics/cadical

1.5.2 (1.5.2-r1)

Summary:
Simplified Satisfiability Solver
Maintainer:
- sci-mathematics@gentoo.org
Category:
- sci-mathematics
License:
- MIT
Link(s):

LiGurOS develop

sci-mathematics/cadical

1.5.3 (1.5.3-r1)

Summary:
Simplified Satisfiability Solver
Maintainer:
- sci-mathematics@gentoo.org
Category:
- sci-mathematics
License:
- MIT
Link(s):

LiGurOS develop

sci-mathematics/cadical

1.5.2 (1.5.2-r1)

Summary:
Simplified Satisfiability Solver
Maintainer:
- sci-mathematics@gentoo.org
Category:
- sci-mathematics
License:
- MIT
Link(s):

nixpkgs stable 21.11

cadical

1.4.1

Summary:
Simplified Satisfiability Solver
Maintainer:
- shujinarazaki@protonmail.com
License:
- MIT
Link(s):
- Package recipe^{ok, no IPv6}
- Upstream homepage^redir

nixpkgs stable 22.05

cadical

1.4.1

Summary:
Simplified Satisfiability Solver
Maintainer:
- shujinarazaki@protonmail.com
License:
- MIT
Link(s):
- Package recipe^{ok, no IPv6}
- Upstream homepage^redir

nixpkgs stable 22.11

cadical

1.5.3

Summary:
Simplified Satisfiability Solver
Maintainer:
- shujinarazaki@protonmail.com
License:
- MIT
Link(s):
- Package recipe^{ok, no IPv6}
- Upstream homepage^redir

nixpkgs stable 23.05

cadical

1.5.3

Summary:
Simplified Satisfiability Solver
Maintainer:
- shujinarazaki@protonmail.com
License:
- MIT
Link(s):
- Package recipe^{ok, no IPv6}
- Upstream homepage^redir

nixpkgs unstable

cadical

1.5.3

Summary:
Simplified Satisfiability Solver
Maintainer:
- shujinarazaki@protonmail.com
License:
- MIT
Link(s):
- Package recipe^{ok, no IPv6}
- Upstream homepage^redir

PureOS landing

cadical

1.5.3 (1.5.3-2)

Maintainers:
- debian-science-maintainers@alioth-lists.debian.net
- swt@techie.net
Category:
- math
Link(s):
- Upstream homepage^redir

Raspbian Stable
^main

cadical

1.5.3 (1.5.3-2)

Maintainers:
- debian-science-maintainers@alioth-lists.debian.net
- swt@techie.net
Category:
- misc
Link(s):
- Upstream homepage^redir

Raspbian Testing
^main

cadical

1.5.3 (1.5.3-2)

Maintainers:
- debian-science-maintainers@alioth-lists.debian.net
- swt@techie.net
Category:
- misc
Link(s):
- Upstream homepage^redir

Ubuntu 23.04
^{lunar/universe}

cadical

1.5.3 (1.5.3-2)

Maintainers:
- debian-science-maintainers@alioth-lists.debian.net
- swt@techie.net
Category:
- universe/misc
Link(s):

Ubuntu 23.10
^{mantic/universe}

cadical

1.5.3 (1.5.3-2)

Maintainers:
- debian-science-maintainers@alioth-lists.debian.net
- swt@techie.net
Category:
- universe/misc
Link(s):

Packages for cadical

cadical

cadical

cadical

cadical

cadical

cadical

cadical

cadical

cadical

cadical

cadical

cadical

cadical

cadical

cadical

cadical

cadical

cadical

cadical

math/cadical

sci-mathematics/cadical

sci-mathematics/cadical

cadical

cadical

sci-mathematics/cadical

sci-mathematics/cadical

sci-mathematics/cadical

sci-mathematics/cadical

cadical

cadical

cadical

cadical

cadical

cadical

cadical

cadical

cadical

cadical