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 Ha
u
s
modernize autotoo
l
s usage
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2011-05-13
Utz-Uwe H
a
us
a
dd missing co
n
f
i
gure
.
ac
and
l
tmai
n
.
sh
in minisat subtree
commit
|
commitdiff
|
tree
2011-05-09
Utz-Uw
e
Hau
s
update to newer
l
ibtool, keep
in-
t
r
e
e
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2011-05-09
Utz-Uwe Haus
anothe
r
round of def
a
ult test predi
c
ate mess
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2011-05-09
Utz
-
Uwe Haus
messing with d
e
f
ault test predicate
in macro a
g
a
i
n
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2011-05-09
Utz-Uwe Hau
s
.
gitignore update
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2011-05-09
U
t
z-Uwe Haus
fixes for package name confusion in s
w
ig-lispify
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-22
Utz-Uwe Haus
Reduce consin
g
i
n
flush-to-bac
k
end
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-22
U
tz
-
Uwe Haus
A
d
d ve
c
t
o
r vari
a
nt for
c
l
ause-va
l
id method
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-22
Utz-Uwe Haus
R
educe consing and rec
u
rsion in split-delimite
d
-
string
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-22
U
t
z-Uwe Haus
A
l
low ass
u
mptions to
be lists or vectors in bac
k
e
nd
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-22
U
t
z
-
Uwe Haus
Avoid double
m
app
i
ng f
r
om symbolic literals to var
i
a
b
les
.
.
.
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-22
Utz-Uwe Haus
Fix NNF
g
enera
t
ion i
f
explicit :ATO
M
s
are used
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-22
Ut
z
-Uwe Haus
fix a
d
d-formula to dro
p
:
AND and :O
R
-symbols b
e
f
o
re
.
.
.
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-22
Ut
z
-
U
we Haus
Fix
m
a
cro expan
s
i
on
t
ime confusio
n
in with
-
index-hash
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-17
Utz-U
w
e
Haus
remove debugging out
p
ut a
n
d
ensur
e
e
m
p
ty cla
u
ses are
.
.
.
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-17
Utz-Uwe
Haus
F
i
x call to minisat solve()
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-17
Utz-Uwe Haus
Fix no
n
-cnf for
m
u
la additi
o
n interface
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-16
Utz-U
w
e H
a
us
Fix with-sat
-
solv
e
r
m
acro to correctly reference *default
.
.
.
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-15
Utz-Uwe Hau
s
(minisat backend ) Return
n
umb
e
r of q
u
eue
d
assumptions
.
.
.
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-15
Utz-Uwe Haus
A
lso build
minisat backend
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-15
Utz-
U
w
e H
a
us
F
i
x assu
m
pt
i
on handling in precosat
b
ackend
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-10
Utz-
U
we Ha
u
s
Ad
d
CN
F
builder
convenienc
e
functions
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-10
U
tz-Uwe
H
a
us
add-claus
e
s convenien
c
e
function
commit
|
commitdiff
|
tree
2010-06-03
Ut
z
-Uwe Haus
New me
t
hod sy
n
c
h
ronize-backend
to allo
w
incremental
.
.
.
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-02
Utz-Uwe Haus
Add m
i
nisat bac
k
e
n
d
to lisp code,
m
ake it the d
e
faul
t
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-02
Utz-Uwe Haus
M
i
nimalistic mi
n
isat header an
d
SWIG
i
ntegrat
i
on
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-02
Utz-U
w
e Haus
Autotools se
t
up for minis
a
t
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-02
Utz-Uwe
Haus
Fix first line in dimacs format export
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-02
Utz
-
Uwe Haus
Imp
o
rt mini
s
a
t
2-070721
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uwe Haus
Really f
i
x memory is
s
ue:
P
r
ecosat Solver->reset() was
.
.
.
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uwe
H
au
s
Fix with-in
d
ex-hash
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
Ut
z
-Uwe H
a
us
Properly dispose of precosat
ob
j
e
cts
.
Signed-off-by:
Utz-Uwe Haus
<haus@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
Utz
-
U
w
e
Ha
u
s
Add get-essent
i
a
l
-variables implementa
t
ion
.
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uwe Haus
Add with-sat-solver and w
i
th
-
index-hash
m
acro
s
.
Signed-off-by:
Utz-Uwe Haus
<haus@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
U
tz-Uwe Ha
u
s
Add dim
a
cs reader/
w
riter
Signed-off-by:
Utz-Uwe Haus
<haus@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uwe
H
aus
Proper garbage collec
t
ion
o
f
foreign object
s
using
.
.
.
Signed-off-by:
Utz-Uwe Haus
<haus@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uwe
Ha
u
s
SWIG wrapper layer
a
nd
.
i file for prec
o
sa
t
, minimalistic
.
.
.
Signed-off-by:
Utz-Uwe Haus
<haus@uuhaus.de>
commit
|
commitdiff
|
tree
2010-05-30
Utz-Uwe
H
au
s
Import
p
r
e
cos
a
t-465r2-2ce
8
2ba-100514
Signed-off-by:
Utz-Uwe Haus
<haus@uuhaus.de>
commit
|
commitdiff
|
tree
2010-05-30
Utz-
U
we
H
aus
Initia
l
layout
Signed-off-by:
Utz-Uwe Haus
<haus@uuhaus.de>
commit
|
commitdiff
|
tree