@yowasp/boolector

v3.2.3-6.26
boolector Satisfiability Modulo Theories (SMT) solver

Readme Versions Dependencies Scripts
3.2.3-6.26 3.2.3-6.24 3.2.3-4.22
npm i @yowasp/boolector

Metadata

  • ISC
  • Whatever
  • Catherine
  • released 6/28/2024

Downloads

Maintainers

Catherine