smt-lib.org - SMT-LIB The Satisfiability Modulo Theories Library

home > domains > smt-lib.org

Example domain paragraphs

SMT-LIB is an international initiative aimed at facilitating research and development in Satisfiability Modulo Theories (SMT). Since its inception in 2003, the initiative has pursued these aims by focusing on the following concrete goals. Provide standard rigorous descriptions of background theories used in SMT systems. Develop and promote common input and output languages for SMT solvers . Connect developers, researchers and users of SMT, and develop a community around it. Establish and make available to t

A new release of the the SMT-LIB 2.6 reference document is now available. This is a minor release addressing a minor error in the 2021-04-02 release.

A new release of the SMT-LIB 2.6 reference document is now available. This is a minor release addressing a few errors in the 2017-07-18 release.

Links to smt-lib.org (1)

• pysmt.readthedocs.io Welcome to pySMT’s documentation! — pySMT 0.9.6 documentation