Permalink
Browse files

Initial commit

  • Loading branch information...
0 parents commit 4ad91953df0de8fa1aa0e8a260175f42cea86771 @marick committed May 20, 2012
Showing with 9 additions and 0 deletions.
  1. +5 −0 .gitignore
  2. +4 −0 README.md
@@ -0,0 +1,5 @@
+pom.xml
+*jar
+/lib/
+/classes/
+.lein-deps-sum
@@ -0,0 +1,4 @@
+peano
+=====
+
+experimenting with logic programming for test generation

0 comments on commit 4ad9195

Please sign in to comment.