Pinned Repositories
fbSAT
Tool for automatic inference of minimal finite-state models of function blocks from execution scenarios and temporal properties
aiger-rs
🔀 And-Inverter Graphs for Rust
ctee
Unix's tee with stripping of ANSI-colors
discrete-math-course
:milky_way: Supplementary materials for Discrete Math course at ITMO University
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.
kasiski-examination
Kasiski Examination implementation
kotlin-bdd
🌪️ Binary Decision Diagrams for Kotlin
kotlin-satlib
🗿 SAT solver wrappers for Kotlin
sat-nexus
🏔 SAT solver wrappers for Rust
Lipen's Repositories
Lipen/discrete-math-course
:milky_way: Supplementary materials for Discrete Math course at ITMO University
Lipen/kotlin-satlib
🗿 SAT solver wrappers for Kotlin
Lipen/sat-nexus
🏔 SAT solver wrappers for Rust
Lipen/aiger-rs
🔀 And-Inverter Graphs for Rust
Lipen/ctee
Unix's tee with stripping of ANSI-colors
Lipen/godel-escher-bach
TeX reproduction of Hofstadter's "Gödel, Escher, Bach"
Lipen/juliet-test-suite
:microscope: A collection of test cases in the Java language. It contains examples for 112 different CWEs.
Lipen/kotlin-bdd
🌪️ Binary Decision Diagrams for Kotlin
Lipen/kotlin-maybe
Maybe for Kotlin
Lipen/minisat
A minimalistic and high-performance SAT solver
Lipen/thesis
My PhD thesis
Lipen/AAAI-2024-Supplementary
Lipen/aoc-2021
Advent of Code 2021
Lipen/aoc-2022
Advent of Code 2022
Lipen/backdoor-searcher
EA-based backdoor searcher
Lipen/bdd-rs
🌵 Binary Decision Diagrams for Rust
Lipen/cadical
CaDiCaL SAT Solver with some infrastructural patches
Lipen/circuition
💫 Library for managing Boolean circuits in Kotlin
Lipen/evolution
🧬 Evolutionary and genetic algorithms in Rust
Lipen/FMCAD-2023-Supplementary
Supplementary material for FMCAD 2023 paper "Effective Partitioning Method with Predictable Hardness for CircuitSAT"
Lipen/fragile
Utility wrapper to send non send types to other threads safely
Lipen/fsm-rs
Finite-state machines for Rust
Lipen/glucose
Repository mirror to the Glucose SAT solver.
Lipen/jacodb-analyzer-action
Lipen/kissat
Lipen/kondo
Cleans dependencies and build artifacts from your projects.
Lipen/kotlin-lazycache
🦥 Lazy Cache for Kotlin
Lipen/kotlin-trie
🌲 Trie for Kotlin
Lipen/Lipen
Lipen/MultiArray
📦 Multidimensional arrays for Kotlin