Permalink
Browse files

version 0.1.5.

  • Loading branch information...
1 parent f50e379 commit 06294250059e049ae4563d052fb2e09f319eb9c6 @sebfisch committed Jan 30, 2009
Showing with 1 addition and 1 deletion.
  1. +1 −1 incremental-sat-solver.cabal
@@ -1,5 +1,5 @@
Name: incremental-sat-solver
-Version: 0.1.4
+Version: 0.1.5
Cabal-Version: >= 1.6
Synopsis: Simple, Incremental SAT Solving as a Library
Description: This Haskell library provides an implementation of the

0 comments on commit 0629425

Please sign in to comment.