DRMacIver/cadical-skill

SkillsMP has collected 1 skills from DRMacIver/cadical-skill. Open a skill to review its source and details.

DRMacIver profile View on GitHub

Latest recorded source activity: May 12, 2026 at 06:48

SkillsMP catalog refreshed: August 23, 2026 at 20:39

skills collected: 1

GitHub stars: 0
GitHub forks: 0

Skills in this repository

Software Developers

1 occupation categories · 100% classified

skill

occupation

description

updated

cadical

Software Developers

Write correct C++ code using the CaDiCaL 3.0.0 SAT solver API. Triggers on: "cadical", "CaDiCaL", "SAT solver", "CDCL", "DIMACS", "CNF", "ExternalPropagator", "external propagator", "IPASIR", "satisfiability", "solver.add", "solver.solve", "solver.val",…

2026-05-12

Showing 1 of 1 collected skills.