Konstantin Chukharev

discrete-math-course. :milky_way: Supplementary materials for Discrete Math course at ITMO University

kotlin-satlib. 🗿 SAT solver wrappers for Kotlin

formal-methods-course. Materials for the course "Formal Methods in Software Engineering" at ITMO University

ananke. 🌵 Decision Diagrams for Rust

sat-nexus. 🏔 SAT solver wrappers for Rust

godel-escher-bach. TeX reproduction of Hofstadter's "Gödel, Escher, Bach"

aigerox. 🔀 And-Inverter Graphs for Rust

kasiski-examination. Kasiski Examination implementation

ctee. Unix's tee with stripping of ANSI-colors

kotlin-maybe. Maybe for Kotlin

kotlin-bdd. 🌪️ Binary Decision Diagrams for Kotlin

backdoor-solver. Backdoor-based SAT solver

kotlin-itertools. Itertools for Kotlin