Lipen

discrete-math-course

:milky_way: Supplementary materials for Discrete Math course at ITMO University

kotlin-satlib

🗿 SAT solver wrappers for Kotlin

sat-nexus

🏔 SAT solver wrappers for Rust

formal-methods-course

Materials for the course "Formal Methods in Software Engineering" at ITMO University

aiger-rs

🔀 And-Inverter Graphs for Rust

backdoor-solver

Backdoor-based SAT solver

ctee

Unix's tee with stripping of ANSI-colors

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

minisat

A minimalistic and high-performance SAT solver

bdd-rs

🌵 Binary Decision Diagrams for Rust

thesis

My PhD thesis

AAAI-2024-Supplementary

backdoor-searcher

EA-based backdoor searcher

cadical

CaDiCaL SAT Solver with some infrastructural patches

cetz

CeTZ: ein Typst Zeichenpaket - A library for drawing stuff with Typst.

diatypst

easy slides in typst

evolution

🧬 Evolutionary and genetic algorithms in Rust

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

fsm-rs

Finite-state machines for Rust

glucose

Repository mirror to the Glucose SAT solver.

IEEE-Access-2024-Supplementary

Supplementary materials for IEEE Access paper "Effective Partitioning Method with Predictable Hardness for CircuitSAT"

jacodb-analyzer-action

kissat

kondo

Cleans dependencies and build artifacts from your projects.

setup-typst

📑 Install Typst for use in GitHub Actions

slides

My slides

typst-finite

Typst-setting finite automata with CeTZ.