CLI and Tools
- CLI Tools
- Translator Module
- Introduction
- Components
- DIMACS to SMT-LIB2 (
aria/translator/dimacs2smt.py) - QDIMACS to SMT-LIB2 (
aria/translator/qbf2smt.py) - CNF to SMT-LIB2 (
aria/translator/cnf2smt.py) - CNF to Linear Programming (
aria/translator/cnf2lp.py) - SMT-LIB2 to C (
aria/translator/smt2c.py) - SMT-LIB2 to SymPy (
aria/translator/smt2sympy.py) - SyGuS to SMT-LIB2 (
aria/translator/sygus2smt.py) - Weighted CNF to Z3 (
aria/translator/wcnf2z3.py) - FlatZinc to OMT (
aria/translator/fzn2omt/)
- DIMACS to SMT-LIB2 (
- Command-Line Interface (
aria/cli/fmldoc.py) - Examples
- Applications
- References
- Applications
- Boogie Frontend for EFMC
- C Frontend for EFMC
- Constrained Horn Clauses (CHC) Tools
- Verification Tools