WORK IN PROGRESS

Documentation

TODO

Implementation

• Custom asserts
• Logging
• DIMACS Parser
  • DIMACS Parser Tests
• CDCL
  • Clause learning
  • Conflict resolution
  • Conflict-driven backjumping
  • Deletion of learnt clauses with low activity score
• VSIDS heuristic
  • Activity scores
• Watched Literals
• Cardinality constraints
• Stats printing
• Reach 100% Code Coverage

CI

General

• Unity Test framework with CMake
• Clang compilation
• Sonarcloud
• Include GCov report into Sonarcloud
• Benchmarks with and without profiling data

Documentation of code & analysis results

• Sphinx + Breathe + Doxygen + RTD Docs
• GNU Complexity
• AddressSanitizer
• MemorySanitizer
• UBSanitizer
• Thread-caching malloc
• GCov Code Coverage
• Google Benchmark
• Valgrind
• Cachegrind
• Callgrind
• GProf
• gprof2dot
• Google's Heap Profiler
• Google's Heap Checker
• Google's CPU Profiler
• Pigeonhole Problem
• Verify correctness: SATLIB benchmarks unit tests
• Verifast
• CBMC

License

Licensed under the BSD 2-Clause License - see the LICENSE file for details.