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-clauses convenience function
2010-06-10
U
t
z-Uwe
Haus
a
d
d-clauses
conve
n
ience
function
commit
|
commitdiff
|
tree
2010-06-03
Utz-U
w
e
H
a
us
New method
synchronize-ba
c
k
e
nd to
a
llow i
n
c
r
e
mental
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
U
t
z
-
Uwe Haus
Add min
i
sat backend to lisp code, make it the d
e
fault
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
Utz-Uwe Ha
u
s
Minimalistic mini
s
at
header and SWI
G
i
n
t
egration
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
Utz-
U
we Haus
Autotools setup
for
minisat
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
Utz-Uwe Haus
Fix first line
i
n d
i
macs for
m
at expo
r
t
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
Utz-Uwe Haus
I
m
port minisat2-
0
707
2
1
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-01
U
tz
-
Uwe Haus
R
e
ally fix memory issue:
P
recos
a
t Solver->reset()
w
as
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-01
Ut
z
-
Uw
e
Haus
Fix w
i
th-i
n
dex-hash
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uwe
H
aus
Pr
o
perly dis
p
ose of preco
s
at
o
bjects
.
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uwe
H
aus
A
d
d
g
e
t-essential-va
r
iables im
p
l
e
m
enta
t
i
o
n
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree