My PhD thesis
-
Updated
Jun 8, 2024 - TeX
My PhD thesis
A Rust library to transform integer and pseudo Boolean constraints into conjunctive normal form
MACE-like model finder for algebraic structures.
🧬 Search-Based approach to repair unrealisable Linear-Time Temporal Logic (LTL) specifications.
Unofficial Factura.com API client for PHP
Unofficial Rust wrappers to the C++ library Google OR-Tools, open source software for combinatorial optimization
EstiMate 🦉: A fast and accurate modelcounter tool for estimating the number of models for LTL formulas using transfer matrices.
BRAND NEW: SAT Optimization Decision Tree Library for Interpretable Clustering and Classification
Conjure: The Automated Constraint Modelling Tool
Solve grid-based pathfinding challenges efficiently. Our tool transforms grids into SAT problems using Kripke Structures and Boolean formulas, ensuring step-by-step validity while avoiding collisions. Simplify navigation in dynamic environments with central and dynamic agents.
The best open-source python library to generate and process SAT's CFDI
Here is a beautiful util-library for all Java users
🛰️ Satellite hardware lifespan, deorbiting process and reuse planning.
A lottery in bitcoin script with no escrow, based on random number generation and modular arithmetic
uran: A small engine for creating formulas accepted by SMT solver.
Add a description, image, and links to the sat topic page so that developers can more easily learn about it.
To associate your repository with the sat topic, visit your repo's landing page and select "manage topics."