Thriim/so-many-theories Thriim/so-many-theories

  • This repository has been archived on 24/May/2020
  • Stars
    star
    1
  • Language
    OCaml
  • License
    GNU General Publi...
  • Created almost 11 years ago
  • Updated over 10 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
Thriim/so-many-theories
github

Thriim

Reviews

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

Repository Details

Mini SMT Solver reasoning about the equality theory. Project for the Automatic Deduction course in MPRI.

More Repositories

1

hashlife-ocaml

Previous project developped during our "Travail d'Etudes et de Recherches", under the supervision of Jean-Christophe Filliรขtre (LRI).
OCaml
3
star