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
fixes for package name confusion in swig-lispify
2011-05-09
U
t
z-Uwe Haus
fixes
for pac
k
age name conf
u
sion
i
n
swig-lispify
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-22
Utz-Uwe
H
aus
Re
d
uce consing in flush-to-ba
c
ke
n
d
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-22
Utz-Uw
e
Haus
Add vector vari
a
nt for clause-valid method
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-22
Utz-Uwe
Haus
Reduce consing and
recursio
n
in split-delimited
-
string
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-22
Utz-Uw
e
Hau
s
Allow a
s
su
m
p
tio
n
s to be lists
o
r vec
t
o
rs in backen
d
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-22
U
t
z
-
Uwe Haus
A
v
o
i
d
doub
l
e ma
p
ping from
s
ym
b
o
l
ic literals to
var
i
a
bles
.
.
.
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-22
Utz-Uwe Haus
Fix NNF
ge
n
era
t
ion if
exp
l
icit :ATOM
s
are used
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-22
Utz-Uwe Haus
fix
a
dd-formula to drop
:AN
D
and
:
OR-s
y
m
bols before
.
.
.
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-22
Utz-Uwe
Haus
Fix macro expansion
t
ime confusion in wi
t
h-
i
nde
x
-hash
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-17
Utz-Uwe Hau
s
remov
e
debugging o
u
tput and en
s
u
r
e
empty clauses are
.
.
.
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-17
U
t
z-
U
we Haus
Fix
c
a
l
l to minisat solve()
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-17
Utz-Uwe
Ha
u
s
Fix non-c
n
f fo
r
mula addition interface
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-16
Utz-U
w
e Haus
Fi
x
with-sat-so
l
ve
r
macro to cor
r
ect
l
y
re
f
erence *
d
ef
a
ult
.
.
.
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-15
U
tz-Uwe H
a
us
(minisat backend )
Return number of queued assump
t
i
ons
.
.
.
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-15
Utz-U
w
e H
a
us
A
ls
o
bu
i
ld mini
s
at backend
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-15
Utz
-
U
w
e Haus
Fix ass
u
m
ption ha
n
dling in precosat
backend
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-10
U
t
z-Uw
e
H
a
us
Add CNF builder convenience fun
c
tions
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-10
Utz-Uwe Ha
u
s
a
dd-c
l
auses convenie
n
ce function
commit
|
commitdiff
|
tree
2010-06-03
Utz-Uw
e
Haus
N
e
w
method synchr
o
nize-backend to allow incr
e
mental
.
.
.
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-02
Utz-Uw
e
H
a
us
Add minisat b
a
c
kend to li
s
p
c
ode, make i
t
the default
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-02
Ut
z
-Uwe
H
aus
Minimalistic minisat head
e
r a
n
d
SWIG integr
a
t
i
on
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-02
Utz
-
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-Uwe Haus
F
i
x f
i
rst line in dim
a
c
s
format
expo
r
t
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-02
Utz-Uwe Hau
s
I
m
port minisa
t
2-070721
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uwe Haus
Really fi
x
m
emory issue:
P
recosat Solver->
r
eset()
was
.
.
.
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uw
e
H
a
us
Fix with-
i
ndex-hash
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uwe Ha
u
s
P
roper
l
y dispose
o
f pr
e
cosa
t
objec
t
s
.
Signed-off-by:
Utz-Uwe Haus
<haus@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uwe
H
aus
A
dd
g
et-ess
e
ntial-variables impl
e
mentation
.
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uwe Ha
u
s
A
dd with
-
s
a
t-solver and w
i
th-index-hash macros
.
Signed-off-by:
Utz-Uwe Haus
<haus@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uwe Ha
u
s
Add d
i
macs
reader/
w
riter
Signed-off-by:
Utz-Uwe Haus
<haus@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uwe Haus
Pr
o
per garba
g
e colle
c
tion of foreign object
s
usi
n
g
.
.
.
Signed-off-by:
Utz-Uwe Haus
<haus@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uwe H
a
us
SWIG wrapper layer and
.
i file for p
r
ecosat, minimalist
i
c
.
.
.
Signed-off-by:
Utz-Uwe Haus
<haus@uuhaus.de>
commit
|
commitdiff
|
tree
2010-05-30
Utz-U
w
e Haus
Import p
r
ecosat-46
5
r2-2ce82ba-1
0
051
4
Signed-off-by:
Utz-Uwe Haus
<haus@uuhaus.de>
commit
|
commitdiff
|
tree
2010-05-30
Utz-Uw
e
Hau
s
Initial layout
Signed-off-by:
Utz-Uwe Haus
<haus@uuhaus.de>
commit
|
commitdiff
|
tree