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
messing with default test predicate in macro again
2011-05-09
Utz-
U
we
H
aus
me
s
sing with defa
u
lt test p
r
edicate
in ma
c
ro aga
i
n
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2011-05-09
Utz-Uwe Haus
.
g
itignore update
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2011-05-09
Utz-Uwe
Hau
s
fixes for
p
a
cka
g
e name
c
onfu
s
i
o
n
in swig-lispify
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-22
Utz-Uwe
H
aus
Reduce consing
i
n flush-to-backend
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-22
Utz-Uw
e
Haus
Add vect
o
r variant for
c
lause-
v
al
i
d
met
h
od
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-22
Utz-Uwe H
a
us
Reduce con
s
ing and recursion in spli
t
-deli
m
i
t
e
d
-st
r
ing
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-22
U
tz-Uwe Haus
Allow assump
t
ions t
o
be
lists or vectors
i
n backend
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-22
Utz-Uwe Ha
u
s
Avoi
d
double mapping from symbolic lit
e
rals to v
a
riables
.
.
.
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-22
Utz-Uw
e
H
aus
Fix
N
NF
gen
e
rat
i
o
n if explicit :ATOMs
a
re u
s
ed
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-22
U
tz-U
w
e Haus
fix add-
f
ormu
l
a to d
r
op :AND
a
nd :
O
R-symbols befo
r
e
.
.
.
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-22
Utz-
U
we Haus
Fix macro expa
n
sion time conf
u
sion
in
w
ith-
i
ndex-
h
ash
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-17
Utz
-
Uwe
Haus
re
m
ov
e
d
e
buggin
g
outp
u
t a
n
d
ensure e
m
p
t
y clauses
are
.
.
.
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-17
Utz-Uwe Haus
Fix
c
a
l
l t
o
minisat solve()
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-17
Utz
-
Uwe Hau
s
Fix non-cnf formula addition i
n
t
erfa
c
e
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-16
U
tz
-
U
w
e
Hau
s
Fix with-sat-
s
o
l
v
er
m
acro
t
o
c
orrectly refe
r
ence *default
.
.
.
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-15
U
t
z
-Uwe Haus
(mi
n
isat backend
) Return number of
queued assumptions
.
.
.
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-15
Utz-Uwe Haus
A
l
so build m
i
nisat backend
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-15
Utz-Uwe Hau
s
Fix ass
u
mption
hand
l
ing in pre
c
osat bac
k
end
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-10
Utz-Uwe Haus
Add CN
F
b
uild
e
r c
o
nvenience fun
c
tion
s
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-10
Utz-Uwe H
a
u
s
add-claus
e
s
convenience function
commit
|
commitdiff
|
tree
2010-06-03
Utz-Uwe H
a
u
s
New method synchroni
z
e-backend to allow in
c
reme
n
tal
.
.
.
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-02
Utz-Uwe
H
aus
A
d
d minisat back
e
nd
to lisp code, make it the de
f
ault
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-02
Utz-Uwe H
a
us
Min
i
malisti
c
minis
a
t header and S
W
IG
integration
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-02
Utz-Uwe Haus
Autotools s
e
tu
p
f
o
r min
i
sat
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-02
Utz-
U
we Ha
u
s
Fix first line in dima
c
s format export
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-02
Utz-Uwe Hau
s
Im
p
or
t
minisat2-07
0
721
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
Utz-U
w
e H
a
us
Really fix
memory is
s
ue: Pre
c
o
s
at Solver->reset() was
.
.
.
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uwe Haus
Fix with-i
n
dex-ha
s
h
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uwe Haus
Proper
l
y dispose
o
f precos
a
t o
b
jects
.
Signed-off-by:
Utz-Uwe Haus
<haus@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uwe H
a
us
Ad
d
g
et-ess
e
ntial-variables implementation
.
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uwe Haus
Ad
d
w
i
t
h-sat-so
l
ver
a
nd
w
i
t
h
-i
n
dex-hash macro
s
.
Signed-off-by:
Utz-Uwe Haus
<haus@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uwe Haus
Ad
d
dimacs
rea
d
er/writer
Signed-off-by:
Utz-Uwe Haus
<haus@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uwe Haus
P
roper ga
r
bage c
o
llection
of foreign objects using
.
.
.
Signed-off-by:
Utz-Uwe Haus
<haus@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
Utz-U
w
e
H
aus
SWIG wrapper
lay
e
r
and
.
i
fi
l
e for precosat, min
i
malistic
.
.
.
Signed-off-by:
Utz-Uwe Haus
<haus@uuhaus.de>
commit
|
commitdiff
|
tree
2010-05-30
Utz-Uwe Haus
Import precosat-4
6
5
r
2-2ce82ba-1
0
051
4
Signed-off-by:
Utz-Uwe Haus
<haus@uuhaus.de>
commit
|
commitdiff
|
tree
2010-05-30
Utz-Uwe
H
aus
Initial layout
Signed-off-by:
Utz-Uwe Haus
<haus@uuhaus.de>
commit
|
commitdiff
|
tree