chsticksel/smtlib-mode chsticksel/smtlib-mode

  • Stars
    star
    7
  • Rank 2,294,772 (Top 46 %)
  • Language
    Emacs Lisp
  • License
    GNU General Publi...
  • Created over 10 years ago
  • Updated about 9 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
chsticksel/smtlib-mode
github

chsticksel

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

An Emacs major mode to edit and run SMTLIB v2 files

More Repositories

1

cvc4-ocaml

OCaml bindings for CVC4
2
star
2

kind2

Multi-engine SMT-based automatic model checker for safety properties of Lustre programs
OCaml
1
star