UnitTestBot / kosatLinks
Pure Kotlin CDCL SAT solver
☆9Updated last year
Alternatives and similar repositories for kosat
Users that are interested in kosat are comparing it to the libraries listed below
Sorting:
- Litmus testing tool for Kotlin/Native (WIP)☆10Updated 2 months ago
- 🗿 SAT solver wrappers for Kotlin☆10Updated last year
- ☆9Updated 6 months ago
- 🎲 A Kotlin DSL for probabilistic programming.☆12Updated 3 years ago
- Kotlin/Java API for various SMT solvers☆31Updated 2 months ago
- Курс по формальным языкам: шаблон для домашних работ + материалы☆7Updated 3 months ago
- Fuzzer for Kotlin compiler. Found > 65 unique bugs in kotlinc v1.1.4-3.☆7Updated 2 years ago
- Regular Invariant Generator and SMTLIB2 code transformer☆12Updated 2 years ago
- Library for computations over abstract algebraic structures such as finite fields and polynomial rings.☆7Updated 8 months ago
- A framework for the large scale analysis of programming language usage.☆27Updated 2 years ago
- The PERPL Compiler☆13Updated 2 months ago
- 🕸️ Graphs, finite fields and discrete dynamical systems in Kotlin☆136Updated this week
- Source code & exercises in Arend's documentation☆21Updated 3 years ago
- Young and dynamic build system for Python☆21Updated 2 years ago
- A simple demo that shows how WebWorkers can be used in Kotlin/JS☆10Updated 4 years ago
- JaTyC: a typestate checker for Java☆17Updated 5 months ago
- An IntelliJ-based IDE plugin for Python AST transformations☆18Updated last year
- ☆17Updated 2 months ago
- A platform for analysis of Java bytecode☆32Updated 9 months ago
- Constructing automata with SAT solvers☆8Updated 6 years ago
- An IntelliJ IDEA plugin that allows to get suggestions for better method names☆10Updated 5 years ago
- Equivalent and redundant mutant detection with e-graphs!!!☆13Updated 2 years ago
- A Java library to enumerate permutations and combinations suitable for distributed executions☆14Updated last year
- Notes from Math 550 at McGill University, from Winter 2016, taught by Prof. Sergey Norin.☆14Updated 6 years ago
- FPsolve: solver for polynomial equations over omega-continuous semirings☆11Updated 9 years ago
- Materials for OPLSS 2021☆11Updated 4 years ago
- ☆12Updated 3 years ago
- Artifacts for the PLDI 2023 paper "Search-Based Regular Expression Inference on a GPU"☆16Updated 4 months ago
- Modification to Coq to record intermediate proof states encountered during a proof☆8Updated 6 years ago
- Structural Search support for Kotlin☆18Updated 4 years ago