Roadmaps

CA-CDR-V2

• Supports an indexing system for knowledge bases
• Supports the negation of the knowledge base for encoded knowledge bases including CameraKB, PCKB, and RenaultKB.
• Supports a Writer mechanism for IConsistencyAlgorithm which helps to print the output of the algorithms’ execution into text files.
• Supports the SAT presentation and SAT solvers
• Make the algorithms thread-safe

CECore

• More feature model analysis operations

---