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-31
u-u-h
modernize
f
or asdf
3
commit
|
commitdiff
|
tree
2016-05-31
u-u-h
fix minisat compile on
modern c++
c
ompilers
commit
|
commitdiff
|
tree
2016-05-30
Utz-Uwe Haus
modernize autoto
o
ls us
a
ge
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2011-05-13
Utz-U
w
e H
a
us
add missi
n
g
c
onfigure
.
ac and
ltmain
.
sh in m
i
nis
a
t sub
t
r
e
e
commit
|
commitdiff
|
tree
2011-05-09
U
t
z-Uw
e
H
a
us
u
pdate to
n
ewer libt
o
o
l
,
keep in-
t
ree
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2011-05-09
Utz-Uwe Haus
ano
t
h
er r
o
un
d
of
default test predicate me
s
s
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2011-05-09
Utz-
U
we Hau
s
m
e
ssing with default t
e
st predicate in macro again
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2011-05-09
Utz-U
w
e
Haus
.
gitignore
u
pdate
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2011-05-09
Utz-Uwe H
a
us
fixes
f
or pa
c
kage name
confusion in swig-lispify
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
U
tz-Uwe Haus
Reduce consing in flus
h
-to-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-vali
d
m
e
tho
d
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
Utz-
U
we Haus
Reduc
e
con
s
i
n
g
a
nd recur
s
ion in s
p
lit-delimited-string
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
Utz-Uwe Haus
Allow assumpt
i
ons to be lists or
vectors in backend
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
Utz-Uwe Haus
Avo
i
d double map
p
ing
from symbolic liter
a
l
s to variables
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
Utz-Uwe H
a
us
Fix
N
NF
gene
r
ation if explicit :ATOMs are us
e
d
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
Utz-Uwe
Haus
fix add-formula to drop
:AND and :OR-sym
b
ols before
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
Utz-Uw
e
Haus
Fix macro expansio
n
time confus
i
on in with-index-hash
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-17
U
tz-Uwe Haus
r
emove debugging
o
utput an
d
e
n
sure empty clauses ar
e
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-17
U
tz-Uwe Ha
u
s
Fix ca
l
l to mi
n
is
a
t solve()
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-17
Utz-Uw
e
Haus
Fix no
n
-cnf for
m
ul
a
addi
t
ion inter
f
ace
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-16
Ut
z
-Uwe Haus
Fix with-sat-solver m
a
c
r
o to correctl
y
reference *default
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-15
Utz-U
w
e
Haus
(
minis
a
t backend ) Retur
n
number
of queued assumption
s
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-15
Utz-Uw
e
Haus
Also
build minis
a
t backend
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-15
Utz-Uwe Haus
F
ix assum
p
ti
o
n han
d
ling
in preco
s
at backen
d
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-10
Utz-Uw
e
Haus
Add C
N
F
b
u
il
d
er
con
v
enience fun
c
tions
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-10
Utz-
U
we Haus
add-clauses
convenience fu
n
c
t
i
o
n
commit
|
commitdiff
|
tree
2010-06-03
Utz-Uwe Haus
New met
h
od synchronize-
b
ackend to al
l
ow in
c
rem
e
ntal
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
Utz-Uwe Haus
Add mini
s
at backend to
l
isp code, make
it the defaul
t
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
U
t
z
-Uwe
Haus
Min
i
malistic minis
a
t header and
S
WIG integrat
i
on
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
U
tz-Uwe
H
au
s
Autotools setup for minisat
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
U
t
z
-
Uwe Haus
Fix
f
irst lin
e
in
dimacs format export
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
Utz-Uwe Haus
I
mpor
t
minisa
t
2-070721
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uwe Haus
Re
a
lly fi
x
memor
y
issue:
P
rec
o
sa
t
Sol
v
e
r
->rese
t
() was
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-01
U
tz-Uwe H
a
us
Fix with-i
n
dex-hash
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uwe
Haus
P
r
ope
r
ly
dispose of precosa
t
objects
.
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uw
e
Haus
A
d
d ge
t
-essential-v
a
riab
l
es implementation
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree