issues
search
cjdrake
/
boolexpr
Boolean Expressions
Apache License 2.0
20
stars
6
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
The doc website is down.
#38
ShuhuaGao
opened
1 month ago
1
I cannot install the library for python 3.7
#37
Prometheus1994
opened
5 years ago
4
I cannot install the library for python 2.7
#36
Prometheus1994
closed
5 years ago
2
ESPRESSO?
#35
wasabii
closed
6 years ago
3
How to install python wrappers to custom directory?
#34
acoader
opened
6 years ago
0
Variable naming/ordering from run to run
#33
acoader
opened
6 years ago
1
when i use boolexpr ,error occured
#32
7763sea
closed
6 years ago
1
windows 10 python 3.6.5 import error
#31
7763sea
opened
6 years ago
5
Using C++ API to initialize a boolean variable/expression to value 0 or 1
#30
acoader
closed
6 years ago
5
AttributeError: 'module' object has no attribute 'util'
#29
vutuyetmai130398
closed
6 years ago
0
Access to auxiliary variables in Tseytin transformation
#28
acoader
closed
6 years ago
4
CFFI sat
#27
adelin-b
closed
7 years ago
1
Using boolexpr
#26
adelin-b
closed
7 years ago
2
Impossible to complete all the actions to install boolexpr [http://www.boolexpr.org/]
#25
kregus0
closed
7 years ago
1
Python Literals need access to their Context objects
#24
cjdrake
opened
7 years ago
0
Implement cardinality constraints
#23
cjdrake
opened
7 years ago
0
AttributeError from Context __del__
#22
cjdrake
opened
8 years ago
1
AttributeError: 'module' object has no attribute 'util'
#21
shader
closed
8 years ago
5
Installation error
#20
shader
closed
8 years ago
2
Implement absolute value operator for literals
#19
cjdrake
closed
8 years ago
0
Clarify whether clauses need to contain only distinct literals
#18
cjdrake
closed
8 years ago
1
Tseytin transform on CNF results in increased formula size
#17
cjdrake
closed
8 years ago
0
Release 2.0 check list
#16
cjdrake
closed
8 years ago
0
Segfault when attempting 0/1 equiv 0/1
#15
cjdrake
closed
8 years ago
1
Add Doxygen docs to webpage
#14
cjdrake
closed
8 years ago
0
Implement MDA in C++
#13
cjdrake
closed
8 years ago
0
Implement smoothing/consensus/derivative
#12
cjdrake
closed
8 years ago
0
Complete CFFI basics
#11
cjdrake
closed
8 years ago
0
Implement simplification for logical/illogical
#10
cjdrake
closed
8 years ago
0
Investigate using std::enable_shared_from_this
#9
cjdrake
closed
8 years ago
1
Require 100% coverage to pass unit tests
#8
cjdrake
closed
8 years ago
1
Document basics
#7
cjdrake
closed
8 years ago
0
Use cmake for build
#6
cjdrake
closed
8 years ago
0
Implement TravisCI hook
#5
cjdrake
closed
8 years ago
0
Implement Python wrapper
#4
cjdrake
closed
8 years ago
1
Improve the performance of flattening algorithm
#3
cjdrake
opened
8 years ago
0
Implement ANF transformation
#2
cjdrake
opened
8 years ago
0
Implement SAT iterator
#1
cjdrake
closed
8 years ago
0