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
Import PicoSAT-965
2016-05-30
Utz-Uw
e
Haus
Import PicoSAT-965
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2016-05-30
Utz-Uwe Hau
s
I
m
port PicoSAT-91
3
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2011-05-13
Ut
z
-Uwe
Haus
add missi
n
g
co
n
f
ig
u
re
.
a
c
and ltmain
.
sh i
n
minisat
subtree
commit
|
commitdiff
|
tree
2011-05-09
Utz-
U
we Haus
update
to 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
o
f
d
efau
l
t t
e
s
t
predi
c
ate mess
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2011-05-09
Utz-
U
we Haus
m
essing with
d
efault test pre
d
i
c
a
t
e in macro
a
gain
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2011-05-09
U
tz-Uwe H
a
us
.
gitig
n
ore update
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2011-05-09
Utz-Uwe
H
aus
fixes for pac
k
a
g
e name confus
i
on
in swig-li
s
p
i
fy
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
Utz-
U
we Haus
Reduce
c
o
n
sing in flu
s
h
-
to-ba
c
kend
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
U
t
z-Uwe
Haus
Add v
e
ct
o
r var
i
a
n
t for clause-valid method
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
Utz-Uwe Ha
u
s
Reduce con
s
i
n
g and recu
r
sion in split
-
d
e
lim
i
ted-string
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
Utz-Uwe
H
a
u
s
Allow assu
m
pt
i
ons to
b
e lists or vect
o
rs
i
n
b
a
ckend
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
Ut
z
-
U
we
H
aus
Avoid double mappin
g
from symbolic literals to variabl
e
s
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
Utz
-
Uwe
H
aus
Fi
x
NN
F
gen
e
ration
i
f explicit :ATOMs
a
re used
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
Utz-Uwe Hau
s
fix add
-
formula to drop :
A
N
D and :OR-
s
ymbols
be
f
o
r
e
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-22
U
tz-Uwe
H
a
u
s
Fix
ma
c
ro expansion time co
n
fusion in with-index
-
h
a
sh
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-17
Utz-Uwe Haus
r
e
m
ove debugging output
a
nd
e
nsure empty cla
u
ses are
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-17
Utz-Uwe H
a
us
Fix cal
l
to minisat sol
v
e(
)
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-17
Utz
-
Uw
e
H
aus
Fix
n
on-cnf formula addition inter
f
ace
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-16
Utz-Uwe Haus
Fix with
-
sat-s
o
lve
r
macro t
o
co
r
rectly ref
e
rence *defa
u
l
t
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-15
Utz-Uwe Haus
(minisat backend ) Return number of q
u
eued assumptions
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-15
Utz-Uwe Haus
Also bu
i
ld minisat backend
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-15
Utz-Uwe Hau
s
Fix
as
s
umption
h
an
d
l
i
ng in
precos
a
t b
a
ckend
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-10
Utz-Uwe Haus
Add CNF builder
convenience functions
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-10
Ut
z
-Uwe Haus
a
dd-
c
lauses convenience f
u
nc
t
ion
commit
|
commitdiff
|
tree
2010-06-03
U
tz-Uwe
Ha
u
s
N
e
w me
t
hod
sy
n
chr
o
nize-backend to all
o
w inc
r
e
mental
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
U
tz-U
w
e Haus
Add mi
n
isat backend to lisp code, m
a
ke
it the
d
efault
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
Utz
-
Uwe Haus
Minimal
i
stic
m
inis
a
t header
and SWIG
integrati
o
n
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
Utz-
U
we
H
a
u
s
Autotools setup for minisat
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
Utz-Uw
e
Hau
s
Fi
x
firs
t
line in dima
c
s
format exp
o
r
t
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-02
Utz-Uwe Haus
I
mport minisat
2
-0707
2
1
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uwe Ha
u
s
R
e
al
l
y
fix memor
y
iss
u
e: Prec
o
s
a
t Sol
v
er->reset()
was
.
.
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-01
Utz
-
Uwe
Ha
u
s
Fix with-inde
x
-hash
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree
2010-06-01
Utz-
U
we Hau
s
P
r
op
e
rly dispos
e
of precosat objects
.
commit
|
commitdiff
|
tree
2010-06-01
U
t
z-Uwe Haus
Add g
e
t-e
s
sen
t
ial-vari
a
bles im
p
lem
e
n
tat
i
on
.
Signed-off-by: Utz-Uwe Haus <
lisp@uuhaus.de
>
commit
|
commitdiff
|
tree