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 minisat compile on modern c++ compilers
2016-05-31
u
-u-h
fi
x
mi
n
isat compile
on modern c++ compilers
commit
|
commitdiff
|
tree
2016-05-30
Utz-Uwe Haus
modernize autotools
usage
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2011-05-13
Utz
-
Uwe Haus
add
m
issing c
o
nfigure
.
ac and lt
m
ain
.
sh in minisat sub
t
ree
commit
|
commitdiff
|
tree
2011-05-09
Utz-Uwe Haus
updat
e
t
o
newer libtoo
l
, keep in-tree
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2011-05-09
Utz-Uwe Haus
anot
h
er round of de
f
ault test pred
i
cate
m
ess
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2011-05-09
Utz-Uwe Haus
m
e
ssi
n
g w
i
th def
a
ult
t
est predicate in ma
c
ro again
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2011-05-09
Utz-Uwe
Haus
.
gi
t
ign
o
r
e
u
p
date
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2011-05-09
Utz-Uwe
H
a
us
f
ix
e
s
for package name con
f
usion in s
w
ig
-
lispif
y
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
Utz-Uwe Ha
u
s
Reduce c
o
nsing in flush-t
o
-b
a
c
k
end
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
Utz-Uwe Ha
u
s
A
dd vector variant
for c
l
ause-valid
m
ethod
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
Utz-Uwe Haus
Reduce con
s
ing and recur
s
i
o
n
in split-d
e
limited-s
t
rin
g
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
Utz-Uwe H
a
us
A
l
low assumpt
i
ons to be l
i
sts or vectors in
b
acken
d
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
U
tz-Uwe Ha
u
s
Avoid
doub
l
e mapping fr
o
m
symbolic liter
a
ls to variables
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
U
tz-U
w
e Haus
Fix
N
NF generat
i
on if
e
x
plicit :A
T
OMs
are
used
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
Ut
z
-
U
w
e
Haus
fix add
-
formula to
drop :AND
a
n
d
:OR-
s
ymbo
l
s before
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
Ut
z
-Uwe Haus
Fix macro exp
a
nsion time confusion in
with-index-ha
s
h
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-17
Utz-Uwe Haus
re
m
ove debugging output and ensure empty clauses are
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-17
Utz-Uw
e
Hau
s
F
ix call to mi
n
is
a
t
s
o
l
ve()
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-17
U
tz-Uwe Haus
F
i
x non-cnf formu
l
a a
d
d
i
tion
i
n
t
erface
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-16
Utz
-
Uwe Haus
Fix
w
ith-s
a
t
-solver macro to
c
or
r
ectly ref
e
ren
c
e
*
default
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-15
Utz-Uwe
H
a
us
(minis
a
t backend ) Return
numbe
r
of queued
ass
u
m
ptions
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-15
Utz-
U
we Haus
A
lso
buil
d
min
i
sat backend
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-15
Utz-Uwe Haus
Fix ass
u
mption ha
n
d
ling
i
n
p
recosat backend
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-10
Utz-Uwe Haus
Add
CNF builde
r
c
onv
e
ni
e
nce functions
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-10
U
t
z
-U
w
e Ha
u
s
add-c
l
auses
conve
n
ien
c
e
function
commit
|
commitdiff
|
tree
2010-06-03
Utz-Uwe Haus
N
e
w
method sy
n
chro
n
ize-backend to
a
l
lo
w
i
ncremental
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
U
t
z-Uw
e
H
a
us
Add
m
i
nisat backend to
lisp code, make it the default
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
Utz-Uwe Haus
Minimali
s
tic m
i
nisat he
a
der a
n
d SWI
G
in
t
egratio
n
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
Utz-Uw
e
Haus
Autotools
setup for minisat
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
U
t
z
-
U
we Haus
Fix first line in dimacs
f
ormat
export
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
Utz-Uwe Haus
I
mp
o
rt minisat2-070721
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uwe Haus
R
eally f
i
x memory issue:
P
re
c
o
sat Solv
e
r->reset() was
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uw
e
Haus
Fi
x
with-index
-
hash
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-01
Utz-U
w
e Haus
P
r
o
p
e
rly dispose of precosa
t
objects
.
commit
|
commitdiff
|
tree
2010-06-01
Utz
-
Uwe Haus
Add get-essential-variables
implementati
o
n
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree