Versions Packages Information History Related Badges Report

Information for yices

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