issues
search
lsils
/
bill
C++ header-only reasoning library
MIT License
11
stars
6
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Fix signed char - by rocallahan
#51
costamag
closed
4 months ago
0
Fixed Windows CI
#50
marcelwa
closed
2 years ago
0
Fixed Visual Studio compilation error
#49
marcelwa
closed
2 years ago
1
Z3 SMT interface
#48
lee30sonia
opened
2 years ago
1
Update Catch2 and CIs
#47
lee30sonia
closed
3 years ago
1
Ambiguity of signal in include/bill/sat/solver/maple.hpp when using namespace mockturtle
#46
b1f6c1c4
closed
3 years ago
3
Update CIs
#45
hriener
closed
3 years ago
0
Backport fpu_control deletions from mockturtle to bill
#44
marcelwa
closed
3 years ago
2
Fix multiple inclusion error
#43
lee30sonia
closed
3 years ago
1
removed '#include <fpu_control.h>' since it's not used
#42
marcelwa
closed
3 years ago
1
Remove fix-sized literal buffer in bsat2 interface
#41
lee30sonia
closed
3 years ago
1
Incompatibility with Alpine Linux
#40
marcelwa
closed
3 years ago
5
CUDD library & wrapper for its ZDD package
#39
lee30sonia
closed
3 years ago
2
Assertions for the literals buffer array in bsat2
#38
lee30sonia
closed
4 years ago
3
Undefine all macros defined in the solvers
#37
boschmitt
closed
4 years ago
1
Conflicting macros between GHack and CUDD
#36
hriener
closed
4 years ago
1
Manually count variables and clauses in bsat2
#35
lee30sonia
closed
4 years ago
8
push/pop & set_random_phase
#34
lee30sonia
closed
4 years ago
5
Heuristic methods for size-reduction of unsatisfiable cores
#33
hriener
closed
4 years ago
1
Improved documentation
#32
hriener
closed
4 years ago
1
Improved documentation
#31
hriener
closed
4 years ago
1
Enable bsat2 on Windows
#30
msoeken
closed
4 years ago
3
Z3 interface for Windows build
#29
msoeken
closed
4 years ago
1
Coverage CI
#28
hriener
closed
4 years ago
1
Fixes a warning in Windows build
#27
msoeken
closed
4 years ago
1
CI
#26
hriener
closed
4 years ago
0
Add test case for assumption problem
#25
msoeken
closed
4 years ago
2
`add_xor_clause`
#24
hriener
closed
4 years ago
0
Common
#23
hriener
closed
4 years ago
0
Problem with solve after solve and single-literal assumptions
#22
msoeken
closed
4 years ago
0
Enable Z3 as optional interface through CMake
#21
msoeken
closed
4 years ago
0
Remove unused CMakeLists.txt file
#20
msoeken
closed
4 years ago
0
Allow constructing var_type and lit_type with empty arguments
#19
lee30sonia
closed
4 years ago
0
Move #include to run on Win platform
#18
msoeken
closed
4 years ago
0
New zdd operations
#17
boschmitt
closed
4 years ago
0
Refactoring ZDD implementation
#16
boschmitt
closed
5 years ago
0
incremental totalizer cardinality constraints.
#15
hriener
closed
5 years ago
0
Common
#14
hriener
closed
5 years ago
0
Glucose: Windows support
#13
hriener
closed
5 years ago
0
satoko SAT solver
#12
hriener
opened
5 years ago
0
BMCG solver
#11
hriener
closed
5 years ago
0
bsat2
#10
hriener
closed
5 years ago
0
add_clause
#9
hriener
closed
5 years ago
0
Resolve SAT solver linking issues
#8
hriener
closed
5 years ago
0
Improved solver API
#7
hriener
closed
5 years ago
0
Logo
#6
hriener
closed
5 years ago
0
Windows build
#5
hriener
closed
5 years ago
0
Tseytin enconding
#4
hriener
closed
5 years ago
0
Common
#3
hriener
closed
5 years ago
0
Check clauses
#2
hriener
closed
5 years ago
0
Next