Popular repositories Loading

1. itmo_softwerke_practice itmo_softwerke_practice Public

   Java

2. itmo_software_design itmo_software_design Public

   HWs of Software Design course at ITMO university

   Java

3. pysat pysat Public

   Forked from pysathq/pysat

   A toolkit for SAT-based prototyping in Python

   Python

4. minisatcs minisatcs Public

   Forked from jia-kai/minisatcs

   A minimalistic and high-performance SAT solver

   C++

5. evoguess evoguess Public

   Forked from ctlab/evoguess

   Framework for finding decomposition sets and estimating hardness of SAT instances.

   Python

6. itmo_android itmo_android Public

   Android course homeworks at ITMO university

   Kotlin