Versions Packages Information History Related Badges Report

Information for yices

Versions

  • 2.6.2 (4)
  • 2.6.1 (2)
  • 2.6.0
  • 2.5.4
  • 2.3.0

Package names

  • math/yices
  • mingw-w64-i686-yices
  • mingw-w64-x86_64-yices
  • yices (4)

Repositories

Categories

  • Sciences/Mathematics
  • Unspecified
  • math

Licenses

  • GPL
  • GPL-3.0
  • GPLv3
  • GPLv3+
  • GPLv3+ and BSD

Summaries

  • A high-performance theorem prover and SMT solver
  • SMT solver (2)
  • The Yices SMT Solver (2)
  • Yices is a fast SMT solver with C and Python bindings.

Maintainers

All package recipes

Build logs