| commit | 7f0489362a3604706badf37757f4d2f5a6b7965c | |
| author | Utz-Uwe Haus <lisp@uuhaus.de> | |
| Thu, 17 Jun 2010 14:12:54 +0000 (17 16:12 +0200) | ||
| committer | Utz-Uwe Haus <lisp@uuhaus.de> | |
| Thu, 17 Jun 2010 14:12:54 +0000 (17 16:12 +0200) | ||
| tree | e44e999b1688a8cc38eb6543f95250a4409232c0 | treesnapshot (tar.gz zip) |
| parent | ac89383428978f1f84b9ab6a58d754a30e093505 | commitdiff |
Fix non-cnf formula addition interface
Signed-off-by: Utz-Uwe Haus <lisp@uuhaus.de>
Signed-off-by: Utz-Uwe Haus <lisp@uuhaus.de>
| package.lisp | diffblobblamehistory | |
| satwrap.lisp | diffblobblamehistory |