SMT-LIB
The Satisfiability Modulo Theories Library

© Copyright The SMT-LIB Initiative
Based on a design by Blue Web Templates

• Home
• About
• News
• Standard
• Benchmarks
• Software
• Credits