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
Fix with-sat-solver macro to correctly reference *default-sat-backend* at run time
2010-06-16
Utz-
U
we Haus
Fix with-sat
-
solver
m
a
cro to corre
c
tly r
e
ference *default
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-15
U
tz-Uwe Haus
(minisat bac
k
en
d
) Re
t
ur
n
number of
q
ueued assumptions
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-15
U
t
z
-Uwe Haus
Also build m
i
nisat b
a
cke
n
d
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-15
Utz-Uwe Haus
Fix assumption hand
l
i
ng i
n
precos
a
t backen
d
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-10
U
t
z
-
Uwe Ha
u
s
Add CNF builder convenience fun
c
tio
n
s
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-10
Utz-Uwe Hau
s
a
dd-clauses convenience f
u
nction
commit
|
commitdiff
|
tree
2010-06-03
Ut
z
-
U
we Hau
s
New meth
o
d synchr
o
n
i
ze-backe
n
d to
a
llo
w
i
ncreme
n
tal
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
Utz-Uwe
H
aus
Add minisat b
a
cke
n
d
to
lisp code, make it the default
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
Utz-Uwe
H
aus
Minimalistic mi
n
isat hea
d
er and SW
I
G integration
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
Utz-
U
we Ha
u
s
Autotools
se
t
up for min
i
sat
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
Utz-Uwe
H
au
s
Fix fir
s
t line in dimacs for
m
at export
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
Utz-
U
we Ha
u
s
I
mport minisat2-07
0
7
21
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-01
U
tz-U
w
e
H
a
u
s
Really fix memor
y
issue: Pre
c
osat Solver->reset(
)
was
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uwe Ha
u
s
Fix
with
-
ind
e
x-hash
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-01
Utz
-
U
w
e Haus
Properly dispose of precosa
t
objects
.
commit
|
commitdiff
|
tree
2010-06-01
U
t
z
-
U
we Haus
Add get-essential-va
r
iables implementation
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree