Beast code in Giters

Samuel Leßmann's repositories

A modern and easy to read CDCL SAT solver written in Rust.

Language:RustGPL-3.0500

Best compression based generative large language model

Language:RustUnlicense900

A modern CDCL SAT solver in Rust

Language:RustNOASSERTION000

Implementation of the infamous card game.

Language:PythonGPL-3.0300

Vergleich von verschiedenen Optimierungsalgorithmen für ein einfaches Würfelspiel.

Language:Python100