No description, website, or topics provided.
Switch branches/tags
Nothing to show
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
Makefile
Matrix.ml
Matrix.mli
README
Rankfinder.ml
Rankfinder.mli
TODO.org
_tags

README

Rankfinder using Z3. Based on Prof. Byron Cooks code. 

THIS IS CURRENTLY WORK IN PROGRESS.