Konstantin Chukharev's repositories
discrete-math-course
:milky_way: Supplementary materials for Discrete Math course at ITMO University
kotlin-satlib
πΏ SAT solver wrappers for Kotlin
godel-escher-bach
TeX reproduction of Hofstadter's "GΓΆdel, Escher, Bach"
juliet-test-suite
:microscope: A collection of test cases in the Java language. It contains examples for 112 different CWEs.
kotlin-bdd
πͺοΈ Binary Decision Diagrams for Kotlin
kotlin-maybe
Maybe for Kotlin
thesis
My PhD thesis
backdoor-searcher
EA-based backdoor searcher
bdd-rs
π΅ Binary Decision Diagrams for Rust
cadical
CaDiCaL SAT Solver with some infrastructural patches
circuition
π« Library for managing Boolean circuits in Kotlin
FMCAD-2023-Supplementary
Supplementary material for FMCAD 2023 paper "Effective Partitioning Method with Predictable Hardness for CircuitSAT"
fragile
Utility wrapper to send non send types to other threads safely
glucose
Repository mirror to the Glucose SAT solver.
kondo
Cleans dependencies and build artifacts from your projects.
kotlin-lazycache
π¦₯ Lazy Cache for Kotlin
kotlin-trie
π² Trie for Kotlin
MultiArray
π¦ Multidimensional arrays for Kotlin