Metadata-Version: 1.0
Name: CoSA
Version: 0.2.3
Summary: CoreIR Symbolic Analyzer
Home-page: http://github.com/cristian-mattarei/CoSA
Author: Cristian Mattarei
Author-email: cristian.mattarei@gmail.com
License: BSD
Description: ================================
         CoSA: CoreIR Symbolic Analyzer
        ================================
        
        CoSA is an SMT-based symbolic model checker for hardware design.
        
        Supported Input Formats
        =======================
        * CoreIR (https://github.com/rdaly525/coreir)
        * Verilog
        * SystemVerilog
        * Symbolic Transition System
        * Explicit Transition System
        * BTOR2 (https://github.com/Boolector/btor2tools)
        
        Supported Verifications
        =======================
        * Invariant Properties
        * LTL Properties
        * Proving capabilities
        * Equivalence Checking
        * Automated Lemma Extraction
        
        CoSA relies on PySMT (http://www.pysmt.org), which is a solver
        agnostic library to interface with SMT solvers.
        
        For more information visit http://github.com/cristian-mattarei/CoSA
        
Platform: UNKNOWN
