Awesome resources for Hardware Description

Categories Tags Boards About

Boolector

A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions

This is a long description…

… about Boolector.

Generated with Hugo with theme based on Bare Hugo (built on top of Bulma). Last modified July 17, 2023 (commit b7a2748)