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 macro expansion time confusion in with-index-hash
2010-06-22
U
tz-Uw
e
Haus
Fix macro expansion
time c
o
n
fusi
o
n
in with-index-h
a
sh
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-17
Ut
z
-
Uwe Haus
remove d
e
bugg
i
ng ou
t
put and ensure empty clauses are
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-17
U
tz-Uwe Haus
F
ix
call to minis
a
t
solve()
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-17
U
tz-Uwe Haus
Fix non-cnf
f
o
rmu
l
a add
i
tion
i
nt
e
r
f
ace
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-16
Utz-Uwe Haus
Fix with-
s
at-solver
m
a
cro
t
o
c
o
r
r
ectly
r
eference *default
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-15
Utz-Uwe
Ha
u
s
(
mini
s
at
backe
n
d )
Return
n
u
mber of
q
ueued assumpt
i
ons
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-15
U
t
z-Uwe Haus
Also
build
m
inis
a
t
backend
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-15
Utz-Uw
e
H
aus
Fix a
s
sumption handli
n
g in pr
e
cosat backend
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-10
Ut
z
-Uwe
Haus
Add
C
NF builder
c
on
v
e
nience func
t
i
ons
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-10
Ut
z
-Uwe Haus
add-cl
a
use
s
convenien
c
e
f
u
n
c
tion
commit
|
commitdiff
|
tree
2010-06-03
U
t
z-Uwe Haus
N
e
w method synchronize-bac
k
en
d
to allow increme
n
tal
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
Ut
z
-
U
w
e
Haus
A
dd minis
a
t ba
c
kend to li
s
p code, make it the default
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
Utz-U
w
e Haus
M
i
n
i
malistic minisat header and SWIG i
n
tegration
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
U
t
z-Uwe H
a
us
Autotools setup
for minisat
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
Utz-
U
we
H
aus
Fi
x
first l
i
ne in dimacs format export
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
U
tz-
U
we Haus
I
m
port minisa
t
2-0707
2
1
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uwe Haus
Really fix memory
i
s
s
ue: P
r
ecosa
t
Solve
r
->reset
(
) was
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-01
Utz-U
w
e
H
a
us
Fix with-ind
e
x
-
hash
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-01
Utz
-
Uwe
H
aus
Pro
p
erly
di
s
p
o
se of precos
a
t objects
.
commit
|
commitdiff
|
tree
2010-06-01
Ut
z
-Uwe
Haus
Add get-
e
ssential-var
i
ab
l
es implementation
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree