sdiehl / usolverLinks
A model context protocol server for solving combinatorial optimization problems with logical and numerical constraints.
☆62Updated 5 months ago
Alternatives and similar repositories for usolver
Users that are interested in usolver are comparing it to the libraries listed below
Sorting:
- Datalog engine based on DuckDB☆10Updated 2 years ago
- A MCP server for symbolic manipulation of mathematical expressions☆43Updated 5 months ago
- Datalog + Egg = Good☆66Updated 2 years ago
- Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean …☆73Updated 4 months ago
- ☆19Updated 6 months ago
- An experiment in using DuckDB for a datalog / egg☆27Updated 2 years ago
- Rust bindings to GAP (Groups, Algorithms, Programming)☆29Updated 2 years ago
- Python implementation of directed graph hashing, from the paper "Directed Graph Hashing"☆16Updated 5 months ago
- ☆87Updated last year
- An interactive Datalog☆56Updated last week
- Datalog with equality for rust☆71Updated last week
- program synthesis with neuro-symbolic differentiable interpreters☆16Updated 2 months ago
- a datastructure for scalable combinatorial syntax☆19Updated 9 months ago
- LLVM support for the lean theorem prover☆52Updated 4 years ago
- LLM-powered typed-holes☆48Updated 7 months ago
- Verified and Efficient Matching of Regular Expressions with Lookaround☆24Updated 11 months ago
- Translate Python code to Coq code for formal verification. Applied to the reference implementation of Ethereum in Python.☆40Updated last year
- Finite state machines as graphs☆60Updated 5 years ago
- Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.☆79Updated last week
- library learning w egraphs☆21Updated 2 years ago
- a categorical deep learning compiler☆205Updated 2 months ago
- Cuq: A MIR-to-Coq Framework Targeting PTX for Formal Semantics and Verified Translation of Rust GPU Kernels☆109Updated last week
- A Low Barrier Proof Assistant☆142Updated this week
- A date and time library for Lean 4☆13Updated 7 months ago
- Reference counting with linear types☆31Updated last week
- Formalising the WASM spec in Lean☆27Updated 3 weeks ago
- ☆16Updated 2 years ago
- A collaborative environment for formal, interoperable, conceptual modeling☆130Updated this week
- 🦖 Implementations of various type inference algorithms. The new project is now at https://github.com/cu1ch3n/type-inference-zoo-frontend…☆152Updated 5 months ago
- Using Large Language Models for Repo-wide Type Prediction☆112Updated last year