Artifact
arminbiere/cadical Software
Author
Mathias Fleury 
- Part of: Collection: Supplementary Materials
- License: MIT License
- Publication Date: 2024-11-28
Content
- Software (CaDiCaL Source Code): https://github.com/arminbiere/cadical/tree/strong-backtrack
-
archived version
Version/Status
- Content created at: 2016-08-17
Cite As Get BibTex
Mathias Fleury. arminbiere/cadical (Software, CaDiCaL Source Code). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)
https://doi.org/10.4230/artifacts.22495
Description
Branch of the CaDiCaL solver implementing the Lazy Reimpliction algorithm
Subject Classification
Programming Languages
- C++
- C
- Shell
- Dockerfile
- Makefile
Metrics
- Access Statistics
-
Total Accesses (updated on a weekly basis)