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
modernize autotools usage
2016-05-30
U
tz-Uwe Haus
modern
i
ze autotools usage
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2011-05-13
Utz-Uwe Haus
add missing configure
.
a
c
and l
t
main
.
sh
in minisat
su
b
tree
commit
|
commitdiff
|
tree
2011-05-09
U
tz-Uwe Haus
update to newer lib
t
ool, k
e
ep
i
n
-
tree
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2011-05-09
Ut
z
-Uwe Ha
u
s
ano
t
her
r
o
und of
d
e
fau
l
t test
p
r
edicate mess
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2011-05-09
Ut
z
-Uwe
Haus
m
essing with
def
a
ult test
p
redicate
i
n mac
r
o a
g
ain
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2011-05-09
U
t
z-Uwe Haus
.
gitign
o
r
e
upd
a
te
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2011-05-09
Utz
-
Uwe H
a
us
fix
e
s
for package name confusi
o
n in sw
i
g-
l
ispify
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
Utz-Uwe Ha
u
s
Reduc
e
c
o
n
s
ing in flush-to-backend
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
Ut
z
-Uw
e
Haus
Add vector
v
ariant for c
l
ause-val
i
d
method
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
Utz-Uwe Haus
Redu
c
e consing and rec
u
rsio
n
in spli
t
-delimited-string
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
Utz-Uwe
H
a
us
All
o
w assumpt
i
ons to be lists or vect
o
rs in b
a
ckend
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
Utz-U
w
e Hau
s
Avoid d
o
uble
mapping fro
m
symbolic literals to v
a
riables
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
U
tz-Uwe Haus
Fix NNF generati
o
n if
e
xplicit
:
A
TOMs are used
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
U
t
z-U
w
e Haus
fix
add-formu
l
a to dr
o
p :AND and :O
R
-symbols bef
o
re
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
Utz-Uwe Haus
F
i
x mac
r
o e
x
pansion
time confusion in
with-ind
e
x-hash
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-17
Utz-Uwe Haus
r
e
move debu
g
ging output
a
nd
e
nsure empty
clauses ar
e
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-17
Utz-Uwe Haus
Fix call
t
o mini
s
at
s
ol
v
e()
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-17
Utz-Uwe Haus
Fi
x
non-cnf
f
ormu
l
a addition int
e
r
face
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-16
U
tz-Uwe Haus
F
i
x
w
i
th-sat
-
so
l
ver
m
acr
o
to co
r
rectl
y
referen
c
e *defa
u
l
t
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-15
U
tz-Uwe Haus
(min
i
sat
b
ackend
) Retu
r
n
num
b
er of queued a
s
sumptions
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-15
U
tz-Uwe Hau
s
Also buil
d
minisat backend
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-15
Utz-Uwe Haus
Fix assumption handling in precosat backe
n
d
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-10
Utz-Uwe Haus
Add C
N
F build
e
r co
n
venience functions
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-10
Utz-Uwe
H
aus
ad
d
-clause
s
conve
n
ience f
u
n
ctio
n
commit
|
commitdiff
|
tree
2010-06-03
Utz-Uwe
H
aus
N
ew meth
o
d synchronize
-
backend
t
o a
l
lo
w
incrementa
l
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
Ut
z
-Uwe Ha
u
s
Add minisat backend
t
o lisp code,
m
ake it the default
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
Utz-Uwe Haus
Minimali
s
tic minisat header
a
n
d
SWIG integratio
n
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
Utz-Uwe Hau
s
A
uto
t
ools setup for m
i
n
isat
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
Utz-Uwe Haus
Fi
x
first line in dimacs f
o
rmat export
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
Ut
z
-
U
w
e
Haus
Import
m
i
nisat2-070721
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-01
Utz-
U
we Haus
Really fix
memory
i
ss
u
e:
P
re
c
osat
S
olver->reset(
)
was
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-01
Utz
-
Uwe Haus
Fix with-index-hash
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-01
U
tz-Uwe Haus
Properly disp
o
se of
precosat obj
e
cts
.
commit
|
commitdiff
|
tree
2010-06-01
Ut
z
-
U
we Haus
Add get-
e
ssen
t
ial-
v
a
r
iables impleme
n
tati
o
n
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree