yices packages - Repology

25 package(s) known

ALT Linux p9

yices

2.3.0 (2.3.0-alt3)

Summary:
The Yices SMT Solver
Category:
- Sciences/Mathematics
Links(s):
- Package page⁴⁶
- Package recipe⁴⁶
- Package recipe (raw)⁴⁶

ALT Sisyphus

yices

2.3.0 (2.3.0-alt4)

Summary:
The Yices SMT Solver
Category:
- Sciences/Mathematics
Links(s):
- Package page⁴⁶
- Package recipe⁴⁶
- Package recipe (raw)⁴⁶

Arch
^community

yices

2.6.2 (2.6.2-2)

Summary:
The Yices SMT Solver
License:
- GPL
Links(s):
- Upstream homepage⁴⁶
- Package page⁴⁶
- Package sources⁴⁶
- Package recipe⁴⁶
- Package recipe (raw)⁴⁶

DPorts

math/yices

2.6.2

Summary:
SMT solver
Maintainer:
- yuri@freebsd.org
Category:
- math
Links(s):
- Upstream homepage⁴⁶
- Package sources⁴⁶
- Package recipe⁴⁶
- Package recipe (raw)⁴⁶
- Build log⁴⁶

Fedora 27
^updates

yices

2.5.4 (2.5.4-2.fc27)

Summary:
SMT solver
Category:
- Unspecified
License:
- GPLv3+
Links(s):
- Upstream homepage⁴⁶
- Package sources⁴⁶
- Package recipe⁴⁶
- Package recipe (raw)⁴⁶

Fedora 28
^release

yices

2.5.4 (2.5.4-3.fc28)

Summary:
SMT solver
Category:
- Unspecified
License:
- GPLv3+
Links(s):
- Upstream homepage⁴⁶
- Package sources⁴⁶
- Package recipe⁴⁶
- Package recipe (raw)⁴⁶

Fedora 29
^updates

yices

2.6.1 (2.6.1-1.fc29)

Summary:
SMT solver
Category:
- Unspecified
License:
- GPLv3+
Links(s):
- Upstream homepage⁴⁶
- Package sources⁴⁶
- Package recipe⁴⁶
- Package recipe (raw)⁴⁶

Fedora 29
^release

yices

2.6.0 (2.6.0-2.fc29)

Summary:
SMT solver
Category:
- Unspecified
License:
- GPLv3+
Links(s):
- Upstream homepage⁴⁶
- Package sources⁴⁶
- Package recipe⁴⁶
- Package recipe (raw)⁴⁶

Fedora 30
^release

yices

2.6.1 (2.6.1-2.fc30)

Summary:
SMT solver
Category:
- Unspecified
License:
- GPLv3+
Links(s):
- Upstream homepage⁴⁶
- Package sources⁴⁶
- Package recipe⁴⁶
- Package recipe (raw)⁴⁶

Fedora 31
^release

yices

2.6.1 (2.6.1-3.fc31)

Summary:
SMT solver
Category:
- Unspecified
License:
- GPLv3+
Links(s):
- Upstream homepage⁴⁶
- Package sources⁴⁶
- Package recipe⁴⁶
- Package recipe (raw)⁴⁶

Fedora 32
^release

yices

2.6.2 (2.6.2-1.fc32)

Summary:
SMT solver
Category:
- Unspecified
License:
- GPLv3+ and BSD
Links(s):
- Upstream homepage⁴⁶
- Package sources⁴⁶
- Package recipe⁴⁶
- Package recipe (raw)⁴⁶

Fedora 32
^updates

yices

2.6.2 (2.6.2-3.fc32)

Summary:
SMT solver
Category:
- Unspecified
License:
- GPLv3+ and BSD
Links(s):
- Upstream homepage⁴⁶
- Package sources⁴⁶
- Package recipe⁴⁶
- Package recipe (raw)⁴⁶

Fedora 33
^release

yices

2.6.2 (2.6.2-5.fc33)

Summary:
SMT solver
Category:
- Unspecified
License:
- GPLv3+ and BSD
Links(s):
- Upstream homepage⁴⁶
- Package sources⁴⁶
- Package recipe⁴⁶
- Package recipe (raw)⁴⁶

Fedora 33
^updates

yices

2.6.2 (2.6.2-6.fc33)

Summary:
SMT solver
Category:
- Unspecified
License:
- GPLv3+ and BSD
Links(s):
- Upstream homepage⁴⁶
- Package sources⁴⁶
- Package recipe⁴⁶
- Package recipe (raw)⁴⁶

Fedora 34
^release

yices

2.6.2 (2.6.2-7.fc34)

Summary:
SMT solver
Category:
- Unspecified
License:
- GPLv3+ and BSD
Links(s):
- Upstream homepage⁴⁶
- Package sources⁴⁶
- Package recipe⁴⁶
- Package recipe (raw)⁴⁶

Fedora Rawhide

yices

2.6.2 (2.6.2-8.fc35)

Summary:
SMT solver
Category:
- Unspecified
License:
- GPLv3+ and BSD
Links(s):
- Upstream homepage⁴⁶
- Package sources⁴⁶
- Package recipe⁴⁶
- Package recipe (raw)⁴⁶

FreeBSD Ports

math/yices

2.6.2

Summary:
SMT solver
Maintainer:
- yuri@freebsd.org
Category:
- math
Links(s):
- Upstream homepage⁴⁶
- Package page⁴⁶
- Package sources⁴⁶
- Package recipe (raw)⁴⁶
- Package issue tracker⁴⁶

Manjaro Stable
^community

yices

2.6.2 (2.6.2-2)

Summary:
The Yices SMT Solver
License:
- GPL
Links(s):
- Upstream homepage⁴⁶

Manjaro Testing
^community

yices

2.6.2 (2.6.2-2)

Summary:
The Yices SMT Solver
License:
- GPL
Links(s):
- Upstream homepage⁴⁶

Manjaro Unstable
^community

yices

2.6.2 (2.6.2-2)

Summary:
The Yices SMT Solver
License:
- GPL
Links(s):
- Upstream homepage⁴⁶

MSYS2 mingw
ⁱ⁶⁸⁶

mingw-w64-i686-yices

2.6.2 (2.6.2-1)

Summary:
Yices is a fast SMT solver with C and Python bindings.
License:
- GPLv3
Links(s):
- Upstream homepage⁴⁶
- Package sources⁴⁶
- Package recipe⁴⁶
- Package recipe (raw)⁴⁶

MSYS2 mingw
^x86_64

mingw-w64-x86_64-yices

2.6.2 (2.6.2-1)

Summary:
Yices is a fast SMT solver with C and Python bindings.
License:
- GPLv3
Links(s):
- Upstream homepage⁴⁶
- Package sources⁴⁶
- Package recipe⁴⁶
- Package recipe (raw)⁴⁶

nixpkgs stable

yices

2.6.1

Summary:
A high-performance theorem prover and SMT solver
Maintainer:
- aseipp@pobox.com
License:
- GPL-3.0
Links(s):
- Upstream homepage⁴⁶
- Package recipe⁴⁶

nixpkgs unstable

yices

2.6.1

Summary:
A high-performance theorem prover and SMT solver
Maintainer:
- aseipp@pobox.com
License:
- GPL-3.0
Links(s):
- Upstream homepage⁴⁶
- Package recipe⁴⁶

Parabola
^community

yices

2.6.2 (2.6.2-2)

Summary:
The Yices SMT Solver
License:
- GPL
Links(s):
- Upstream homepage⁴⁶
- Package page⁴⁶

Packages for yices

yices

yices

yices

math/yices

yices

yices

yices

yices

yices

yices

yices

yices

yices

yices

yices

yices

math/yices

yices

yices

yices

mingw-w64-i686-yices

mingw-w64-x86_64-yices

yices

yices

yices