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
.gitignore update
2011-05-09
Utz
-
Uwe Haus
.
gitignore update
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2011-05-09
Utz-Uwe Haus
fixe
s
f
or packa
g
e
nam
e
conf
u
sion in swig-lispify
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
Utz-Uwe Haus
R
educe consing
i
n flus
h
-t
o
-backend
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
Ut
z
-Uwe Haus
Add vector variant for clause-valid method
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
Utz-Uwe H
a
u
s
Redu
c
e consing
a
nd recur
s
ion in split
-
delimited-string
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
Utz-Uwe Haus
Allo
w
assum
p
tions to
be
l
ists or vectors
in backend
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
Utz-Uwe
Haus
Avoid double map
p
ing from
s
ymboli
c
literals t
o
variables
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
Utz-Uwe Haus
Fix NN
F
generati
o
n
if explicit :A
T
OMs are used
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
Utz-Uwe Haus
fix add-formula to drop :
A
ND
a
nd
:
OR-symbols before
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
Utz-Uwe
H
a
u
s
Fix macr
o
expan
s
ion ti
m
e confusion in with-index-
h
ash
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-17
Utz-Uwe Haus
r
e
move debugging output a
n
d
ensure empty cl
a
uses are
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-17
Utz-Uwe Ha
u
s
Fix call to m
i
nisa
t
solve()
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-17
Utz-Uwe Haus
Fix non-cnf fo
r
mula addition
i
nterf
a
ce
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-16
Utz-
U
w
e
Haus
F
i
x with-sa
t
-solver macro to c
o
rrectly reference
*
default
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-15
U
t
z-Uwe
H
a
u
s
(min
i
sat backe
n
d ) Retur
n
number o
f
queued
ass
u
mption
s
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-15
Utz-
U
we
H
aus
Also b
u
i
ld minisat
b
a
c
kend
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-15
Utz-U
w
e
Haus
Fix ass
u
mption
h
and
l
ing i
n
precos
a
t
b
ackend
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-10
Utz-Uwe
H
aus
Add CNF bu
i
lder
c
onv
e
ni
e
nce
functions
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-10
Utz-Uwe Haus
a
d
d-clauses convenien
c
e
functi
o
n
commit
|
commitdiff
|
tree
2010-06-03
Utz-Uwe Haus
New method synch
r
onize-backe
n
d to allow incre
m
ental
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
Utz-Uwe Haus
Add minisat backend to
lis
p
code,
m
a
k
e i
t
the default
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
U
tz-Uwe
Hau
s
Mi
n
imal
i
stic mi
n
is
a
t header
a
nd SWIG integration
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
U
t
z-
U
we Haus
Autotools setup
for min
i
sat
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
Utz-
U
w
e
H
a
u
s
Fix fir
s
t line in dimacs f
o
rmat e
x
port
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
Utz-Uwe Hau
s
Import
m
in
i
sat2-07
0
721
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uwe Haus
R
e
ally fix memory issue: Pr
e
cosat Solver
-
>rese
t
() was
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-01
U
tz
-
Uwe Hau
s
Fix with-index-
h
a
sh
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-01
U
tz-
U
we
H
aus
Properly dis
p
ose
of
p
recosa
t
o
bjects
.
commit
|
commitdiff
|
tree
2010-06-01
Ut
z
-Uw
e
H
a
us
Add get-
e
s
s
ential-variabl
e
s
i
mpl
e
m
e
n
tation
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree