-
-
-
-
-
-
-
-
-
fragments-of-the-sky Public
Forked from GabrielTeixeiraC/fragments-of-the-skyC++ MIT License UpdatedAug 21, 2025 -
player-chemistry Public
A data science project on football Player Chemistry analysis and prediction.
-
-
cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
SMT Other UpdatedMay 15, 2025 -
nanosat Public
An almost-efficient implementation of the Conflit-Driven Clause Learning (CDCL) framework for solving SAT problems in Rust.
-
freeze Public
Forked from charmbracelet/freezeGenerate images of code and terminal output đŸ“¸
Go MIT License UpdatedMar 27, 2025 -
-
simple-cdcl Public
A simple implementation of the Conflict-Driven Clause Learning (CDCL) framework for solving SAT problems.
-
-
-
-
-
-
-
-
-
-
-
-
-
-
gcp-heuristics Public
Forked from igorlfs/hm-projA GRASP + Path-relinking heuristic for the Graph Coloring Problem.
Rust UpdatedDec 6, 2023
{{ message }}