GitHub repository: rymaju/racket-cdcl-sat-solver
Primary language: Racket
Created: 2022-12-01T01:02:13Z
Description: A simple Racket implementation of a modern CDCL sat solver