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 + Egg = Good☆66Updated 2 years ago
- A MCP server for symbolic manipulation of mathematical expressions☆47Updated 5 months ago
- An interactive Datalog☆62Updated this week
- ☆87Updated last year
- ☆19Updated 7 months ago
- Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.☆79Updated last week
- LLM-powered typed-holes☆48Updated 7 months ago
- An experiment in using DuckDB for a datalog / egg☆28Updated 2 years ago
- Datalog engine based on DuckDB☆10Updated 2 years ago
- LLVM support for the lean theorem prover☆53Updated 4 years ago
- A generalist AI agent backed by Claude☆23Updated 6 months ago
- A Low Barrier Proof Assistant☆147Updated this week
- A linter for Soufflé Datalog☆16Updated last year
- Translate Python code to Coq code for formal verification. Applied to the reference implementation of Ethereum in Python.☆41Updated last year
- Animation of Yves Lafont's Interaction Combinators☆22Updated 3 years ago
- Formalising the WASM spec in Lean☆27Updated last month
- 🦖 Implementations of various type inference algorithms. The new project is now at https://github.com/cu1ch3n/type-inference-zoo-frontend…☆152Updated 6 months ago
- ☆16Updated 2 years ago
- Python implementation of directed graph hashing, from the paper "Directed Graph Hashing"☆16Updated 6 months ago
- vertical + gpu + free join + datalog☆21Updated 10 months ago
- A book about datalog☆12Updated 3 years ago
- ☆16Updated last year
- Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean …☆73Updated 4 months ago
- Class of data structures that can be unfolded.☆22Updated 2 years ago
- Interactive visualizer for e-graphs☆26Updated 2 months ago
- Basic TLA+ related Haskell libraries (parser, evaluator, pretty-printer)☆27Updated 3 years ago
- Datalog with equality for rust☆72Updated last week
- An LLVM interface for Lean 4. (WIP)☆25Updated 2 years ago
- Symbolic Geometric Algebra with E-Graphs☆19Updated 2 years ago
- Galois Format Analysis Workbench☆22Updated 2 years ago