Skip to content

Commit

Permalink
Merge pull request #1 from levinkov/master
Browse files Browse the repository at this point in the history 
fixing a bug in the exact solver
  • Loading branch information
@bjoern-andres
bjoern-andres authored Aug 30, 2016
2 parents 978bff4 + eaa1ea1 commit 2cd6fe0
Show file tree
Hide file tree
Showing 2 changed files with 311 additions and 498 deletions.
Loading

0 comments on commit 2cd6fe0

Please sign in to comment.