diogo/yap-6.3
Archived
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
2,368 Commits 2 Branches 6 Tags 146 MiB
d1db0d68ea
Commit Graph

2 Commits

Author SHA1 Message Date
rzf
c1f9fc9bcf added a new version of iterative deepening 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2272 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2008-06-09 17:57:30 +00:00
rzf
e835cfddc5 Added iterative deepening 
Printing of Cudd information


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2271 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2008-06-08 18:11:41 +00:00