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
add-clauses convenience function
2010-06-10
Utz
-
Uwe Haus
add-clause
s
convenience function
commit
|
commitdiff
|
tree
2010-06-03
Utz-Uwe H
a
us
New met
h
od synchron
i
ze
-
back
e
nd to allow incremental
.
.
.
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-02
Ut
z
-Uwe H
a
us
Add minisat b
a
ckend to lisp code, make
i
t
the defa
u
lt
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-02
Utz
-
Uwe Haus
Minimalistic minisat
h
ea
d
er and SWIG integration
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-02
U
t
z
-
Uwe Haus
A
uto
t
ools setup for minisat
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-02
Utz-
U
we Haus
F
ix
first line
in dimacs f
o
rmat exp
o
r
t
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-02
Utz-Uwe
Hau
s
Im
p
o
r
t
m
inisat2-070721
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
Ut
z
-Uwe Haus
Really fix mem
o
ry issue: Precosat
S
olver->reset() was
.
.
.
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uwe Ha
u
s
Fix with-ind
e
x-hash
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
Utz-U
w
e
H
aus
Prope
r
ly
d
ispose
o
f prec
o
sat object
s
.
Signed-off-by:
Utz-Uwe Haus
<haus@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uwe H
a
us
A
dd get-essential-var
i
ables implementation
.
Signed-off-by:
Utz-Uwe Haus
<lisp@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
Utz
-
Uwe H
a
us
Add with-sat-s
o
l
ver a
n
d with-index-
h
as
h
mac
r
o
s
.
Signed-off-by:
Utz-Uwe Haus
<haus@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
U
tz-Uwe Haus
Add
di
m
ac
s
reader/writer
Signed-off-by:
Utz-Uwe Haus
<haus@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
U
tz-Uwe H
a
us
Proper garbage collection of foreign
ob
j
ects using
.
.
.
Signed-off-by:
Utz-Uwe Haus
<haus@uuhaus.de>
commit
|
commitdiff
|
tree
2010-06-01
Utz-Uwe Ha
u
s
SWIG wrapper la
y
er and
.
i file for precosat, minim
a
listic
.
.
.
Signed-off-by:
Utz-Uwe Haus
<haus@uuhaus.de>
commit
|
commitdiff
|
tree
2010-05-30
Utz-Uwe Haus
I
m
port precosat-465r2-2c
e
82b
a
-100514
Signed-off-by:
Utz-Uwe Haus
<haus@uuhaus.de>
commit
|
commitdiff
|
tree
2010-05-30
Utz
-
Uwe
Haus
Initial layout
Signed-off-by:
Utz-Uwe Haus
<haus@uuhaus.de>
commit
|
commitdiff
|
tree
