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 for asdf3
2016-05-30
Utz-Uwe
H
aus
moderni
z
e
a
utotools u
s
age
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2011-05-13
Utz
-
Uwe Haus
a
d
d
missing confi
g
ure
.
ac and
l
tmain
.
sh in minisat subtree
commit
|
commitdiff
|
tree
2011-05-09
Utz-
U
we Haus
upd
a
te to
newer libtool
,
keep in-tr
e
e
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2011-05-09
Utz-Uwe Haus
a
n
oth
e
r r
o
u
n
d of
d
e
f
ault test predicate mess
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2011-05-09
Utz-U
w
e Haus
m
es
s
ing w
i
t
h
default test predi
c
a
te in macr
o
aga
i
n
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2011-05-09
U
tz-
U
we H
a
u
s
.
gitignore updat
e
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2011-05-09
Utz-Uwe
Haus
fi
x
es f
o
r packa
g
e
name confusion in s
w
i
g
-l
i
spify
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-22
Utz-Uwe Haus
R
e
du
c
e consing
in fl
u
s
h-to
-
backend
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-22
Utz-
U
we
Haus
Add ve
c
tor variant for clause-valid m
e
t
h
od
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-22
Utz
-
Uw
e
Haus
Reduce consing and re
c
ursion
in spli
t
-delimited-string
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-22
Utz-Uwe Haus
Allow
a
s
s
umptions to
be li
s
ts
o
r
vectors in backend
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-22
U
t
z
-Uwe Haus
Avoid double mapp
i
ng from symbolic literals to variables
.
.
.
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-22
Utz-U
w
e Haus
Fix NNF generati
o
n i
f
ex
p
licit
:ATOMs are u
s
ed
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-22
Utz
-
Uwe Haus
fi
x
ad
d
-formula to drop :AND a
n
d :OR-symb
o
ls be
f
ore
.
.
.
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-22
Utz-U
w
e Haus
Fix macro
e
xpansio
n
time con
f
usion in with-i
n
dex-h
a
sh
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-17
Utz-Uwe Haus
remove debugging output
and ensu
r
e empty cl
a
use
s
are
.
.
.
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-17
Utz-Uw
e
Haus
Fix
c
all to minisat solve()
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-17
Utz-Uwe
H
a
us
Fix non-cnf formula addition int
e
rface
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-16
Utz-Uw
e
Haus
Fix with-sat-solver macro to corr
e
c
t
ly reference *default
.
.
.
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-15
Utz-Uw
e
Haus
(minisat backend ) Return nu
m
ber o
f
queued assumptions
.
.
.
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-15
U
t
z-Uwe Haus
Als
o
b
u
ild minisat
b
ack
e
n
d
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-15
Utz-Uwe Haus
Fix assumption ha
n
dling
i
n precosat ba
c
kend
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-10
Utz-Uwe Haus
Ad
d
C
N
F builder c
o
nvenience
f
unctio
n
s
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-10
Utz-Uwe Haus
a
d
d
-
c
lauses co
n
v
eni
e
nce
function
commit
|
commitdiff
|
tree
2010-06-03
Utz-Uw
e
Haus
New
m
e
th
o
d
synchroni
z
e-back
e
nd
to allo
w
incremental
.
.
.
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-02
Utz-
U
we Hau
s
Add minisat backend to l
i
sp code, make
it
t
he default
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-02
U
t
z-Uw
e
Haus
Minimalistic
minis
a
t
h
ea
d
er and SWIG integrati
o
n
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-02
Utz
-
U
we Haus
A
u
totools
setup for minisat
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-02
U
t
z-Uwe Haus
F
i
x
f
irst l
i
n
e
in dimacs format e
x
port
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-02
Utz-Uwe Haus
Import minisat2-070721
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
U
t
z-Uwe H
a
us
Really fi
x
memory issue:
Pr
e
c
osat Solver->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 dispose of precosat
o
bjects
.
Signed-off-by:
Utz-Uwe Haus
<haus@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uwe Haus
Add get-essential-variables implementation
.
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
U
tz-Uwe Haus
A
d
d with-
s
at-
s
olv
e
r and
w
ith-index-hash macros
.
Signed-off-by:
Utz-Uwe Haus
<haus@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uwe
H
a
u
s
Add dimacs re
a
d
e
r
/wr
i
te
r
Signed-off-by:
Utz-Uwe Haus
<haus@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
Utz
-
Uwe Haus
P
r
oper garba
g
e collect
i
on of f
o
reign objects using
.
.
.
Signed-off-by:
Utz-Uwe Haus
<haus@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uwe Haus
SWIG wrapper layer and
.
i file for precosat, minima
l
istic
.
.
.
Signed-off-by:
Utz-Uwe Haus
<haus@uuhaus.de>
commit
|
commitdiff
|
tree
2010-05-30
U
tz-Uwe
Haus
I
mp
o
rt
p
recosat-46
5
r2
-
2c
e
82ba-100
5
14
Signed-off-by:
Utz-Uwe Haus
<haus@uuhaus.de>
commit
|
commitdiff
|
tree
2010-05-30
Utz
-
Uwe
H
aus
Initial layo
u
t
Signed-off-by:
Utz-Uwe Haus
<haus@uuhaus.de>
commit
|
commitdiff
|
tree