Skip to content

ruhler/shampi

master
Switch branches/tags
Code

Latest commit

 

Git stats

Files

Permalink
Failed to load latest commit information.
Type
Name
Latest commit message
Commit time
 
 
 
 
Shampi
======
Richard Uhler <ruhler@csail.mit.edu>
February 03, 2014

The Shampi repository has been merged into the smten-apps repository.
For the latest version of shampi, please consult that repository instead:

 https://github.com/ruhler/smten-apps.git

About

Implementation of HAMPI string solver using Smten

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published