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:
- 🗿 SAT solver wrappers for Kotlin☆10Updated last year
- Курс по формальным языкам: шаблон для домашних работ + материалы☆7Updated 3 weeks ago
- Kotlin/Java API for various SMT solvers☆31Updated 2 months ago
- Litmus testing tool for Kotlin/Native (WIP)☆10Updated 3 months ago
- Regular Invariant Generator and SMTLIB2 code transformer☆12Updated 3 years ago
- 🎲 A Kotlin DSL for probabilistic programming.☆12Updated 3 years ago
- Fuzzer for Kotlin compiler. Found > 65 unique bugs in kotlinc v1.1.4-3.☆7Updated 2 years ago
- Library for computations over abstract algebraic structures such as finite fields and polynomial rings.☆7Updated 8 months ago
- SRI Group Website☆10Updated 2 weeks ago
- The PERPL Compiler☆13Updated 3 months ago
- JaTyC: a typestate checker for Java☆17Updated 6 months ago
- ☆12Updated 3 years ago
- Source code & exercises in Arend's documentation☆21Updated 4 years ago
- Modification to Coq to record intermediate proof states encountered during a proof☆8Updated 6 years ago
- A framework for the large scale analysis of programming language usage.☆27Updated 2 years ago
- ☆10Updated 7 months ago
- ☆17Updated 3 months ago
- Notes from Math 550 at McGill University, from Winter 2016, taught by Prof. Sergey Norin.☆14Updated 6 years ago
- 🕸️ Graphs, finite fields and discrete dynamical systems in Kotlin☆137Updated this week
- An IntelliJ-based IDE plugin for Python AST transformations☆18Updated last year
- Artifacts for the PLDI 2023 paper "Search-Based Regular Expression Inference on a GPU"☆16Updated 5 months ago
- FPsolve: solver for polynomial equations over omega-continuous semirings☆11Updated 9 years ago
- Materials for OPLSS 2021☆11Updated 4 years ago
- Constructing automata with SAT solvers☆8Updated 6 years ago
- A simple Binary Decision Diagram library in Java☆15Updated 7 years ago
- Shared, eMoflon-specific component for incremental unidirectional and bidirectional graph transformations☆17Updated 2 months ago
- An IntelliJ IDEA plugin that allows to get suggestions for better method names☆10Updated 5 years ago
- A Java library to enumerate permutations and combinations suitable for distributed executions☆14Updated last year
- ☆10Updated last year
- Young and dynamic build system for Python☆21Updated 2 years ago