pennyan/smtlink pennyan/smtlink

  • Stars
    star
    7
  • Rank 2,294,772 (Top 46 %)
  • Language
    Common Lisp
  • License
    Other
  • Created about 8 years ago
  • Updated almost 7 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
pennyan/smtlink
github

pennyan

Reviews

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

Repository Details

Integrate the Smtlink solver Z3 into the theorem prover ACL2.

More Repositories

1

DPLL

Global convergence of a digital Phase-Locked Loop.
Common Lisp
2
star
2

support-vector-regression

machine learning coding project
MATLAB
1
star