btor2tools

Description:Generic parser and tools for the BTOR2 format
License: MIT
Homepage:https://github.com/Boolector/btor2tools/
Location:Portage
Legend:
  • + - stable
  • ~ - unstable
  • M - hardmask
alpha amd64 arm hppa ia64 m68k mips ppc ppc64 s390 sh sparc x86
1.0.0_pre20220518-r1 - - - - - - - - - - - - -

USE flags

  • examples - Install examples, usually source code

Also available in: Atom

Thank you!