Skip to content

ruhler/shampi

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 
 
 
 
 

Repository files navigation

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