Issues
- 8
- 6
ISO C++ forbids flexible array member ‘literals’
#96 opened by Geremia - 7
Support shared library in build system
#40 opened by rayegun - 2
- 9
Are user preferred literal phases ignored?
#56 opened by alexeyignatiev - 3
- 0
- 3
Large Performance Overhead during Initialization
#86 opened by SimonKlx - 1
Option to suppress printing status line
#87 opened by arminbiere - 1
- 1
Statistics Bug Report
#82 opened by baselkhouri - 2
Cadical 1.6.0 MS VC++ breaks for --shrink > 0
#57 opened by a1880 - 2
- 3
Bug in handling of assumptions
#81 opened by BrunoDutertre - 1
- 2
External propagator assert failure
#79 opened by BrunoDutertre - 3
Confusing code: `cubes.status` set twice (?)
#73 opened by sfiruch - 1
- 2
`uip` is always true
#71 opened by sfiruch - 1
- 1
cadical: fatal error: 'instantiateonce' ordered before 'idrup' in 'options.hpp'
#76 opened by BrianLi009 - 2
Minimal satisfying assignment
#69 opened by amatuag - 4
- 2
Expose phase/unphase in the C API
#65 opened by sfiruch - 1
Output Failed Literals in CLI
#63 opened by benjaminkiesl - 1
The VERSION file is out of date
#66 opened by BrunoDutertre - 3
LRAT proof stats on stdout
#64 opened by marijnheule - 1
Output LRAT proofs in VeriPB format?
#60 opened by jakobnordstrom - 2
- 4
- 3
mmap fails and its failure isn't reported
#48 opened by yurivict - 2
Segfault in Random.cpp (with proposed fix)
#47 opened by sambayless - 5
- 1
GCC warns about comparison of `this` to `NULL`
#54 opened by tautschnig - 2
Was 1.5.3 retagged?
#55 opened by SMillerDev - 4
Project doesn't install anything
#49 opened by yurivict - 2
ccadical_set_option does not return value
#51 opened by sirandreww - 1
ipasir_val return 0 when not important
#52 opened by cormackikkert - 0
- 3
Running on multi-thread platform
#45 opened by lhsxb8 - 1
Generate full Dimacs files
#46 opened by fabian-kruse - 0
- 5
hints for cnf solver
#39 opened by sbelodon - 19
- 0
Makefile with local paths
#42 opened by gregoiremenguy - 9
- 4
Compilation failure on archlinux
#37 opened by recoules - 2
Errors on g++ 5.4.0
#32 opened by apgoucher - 1
- 3