boolector

There are 6 repositories under boolector topic.

  • vmunoz82/eda_tools

    A Dockerfile with a collections of ready to use open source EDA tools: Yosys, SimbiYosys (with Z3, boolector and Yices2), nextpnr-ice40, netxpnr-ecp5, nextpnr-gowin, Amaranth HDL, Silice and Verilator.

    Language:Dockerfile41227

  • fatemender/boolector-sys

    Low-level Rust bindings for the Boolector SMT solver

    Language:Rust7347

  • phlo/vim-btor2

    A VIM plugin that adds support for the BTOR2 word-level model checking format

    Language:Vim script2200

  • YoWASP/boolector

    Unofficial nextpnr WebAssembly packages

    Language:Shell2201

  • fatemender/boolector-rs

    High-level type-safe Rust bindings for the Boolector SMT solver

    Language:Rust1101

  • Aimmig/FloatingBoolector

    Erweiterung des SMT-Solvers Boolector um Fließkomma-Logik

    Language:Python0100