repo.or.cz
/
cl-satwrap.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
Add CNF builder convenience functions
2010-06-10
Utz-Uwe Haus
Add CNF builder con
v
e
n
ience functions
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-10
Ut
z
-Uwe H
a
u
s
add-cl
a
u
ses convenience
func
t
ion
commit
|
commitdiff
|
tree
2010-06-03
Utz-
U
we Haus
N
ew
method sy
n
c
h
ronize-back
e
n
d
to allo
w
incremental
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
Utz
-
Uwe Hau
s
Ad
d
minisat backend to lisp code, ma
k
e it the def
a
u
l
t
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
Utz-Uwe Haus
Minimal
i
stic minisat he
a
d
er and SWIG
i
ntegration
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
Utz-Uwe Haus
Autotools setup for mi
n
is
a
t
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
U
t
z-Uwe Haus
Fix fi
r
s
t line i
n
dima
c
s format exp
o
rt
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
U
tz-Uwe
H
aus
I
m
port minisat2
-
070721
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-01
U
tz-Uwe Haus
Really
fix me
m
ory issue: Prec
o
sat Solver->reset() w
a
s
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-01
Utz
-
U
w
e Haus
Fix with-
i
ndex-hash
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uwe Hau
s
Properly dispose of precosat obj
e
c
ts
.
commit
|
commitdiff
|
tree
2010-06-01
Utz
-
U
we Haus
A
dd get-e
s
sential-variabl
e
s implem
e
ntation
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree