sdiehl / usolverLinks
A model context protocol server for solving combinatorial optimization problems with logical and numerical constraints.
☆62Updated last week
Alternatives and similar repositories for usolver
Users that are interested in usolver are comparing it to the libraries listed below
Sorting:
- A MCP server for symbolic manipulation of mathematical expressions☆51Updated 7 months ago
- ☆87Updated last year
- Datalog + Egg = Good☆66Updated 2 years ago
- Python implementation of directed graph hashing, from the paper "Directed Graph Hashing"☆16Updated 3 weeks ago
- An interactive Datalog☆64Updated this week
- Datalog engine based on DuckDB☆10Updated 2 years ago
- Datalog with equality for rust☆72Updated last month
- Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.☆79Updated last week
- LLM-powered typed-holes☆51Updated 8 months ago
- Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean …☆75Updated 5 months ago
- An experiment in using DuckDB for a datalog / egg☆27Updated 2 years ago
- ☆19Updated 8 months ago
- vertical + gpu + free join + datalog☆21Updated 11 months ago
- LLVM support for the lean theorem prover☆53Updated 4 years ago
- 🦖 Implementations of various type inference algorithms. The new project is now at https://github.com/cu1ch3n/type-inference-zoo-frontend…☆153Updated 7 months ago
- ☆16Updated 2 years ago
- Formalising the WASM spec in Lean☆27Updated 2 months ago
- Interactive visualizer for e-graphs☆28Updated 2 weeks ago
- A generalist AI agent backed by Claude☆24Updated 7 months ago
- A Low Barrier Proof Assistant☆153Updated this week
- a categorical deep learning compiler☆207Updated 3 months ago
- benchmarking e-graph extraction☆49Updated 8 months ago
- Rewrite Rule Inference Using Equality Saturation☆149Updated 7 months ago
- Symbolic formula representation and solver interaction library☆173Updated last week
- A book about datalog☆12Updated 3 years ago
- Reference counting with linear types☆32Updated 2 months ago
- A minimal proof checker.☆78Updated last year
- Animation of Yves Lafont's Interaction Combinators☆23Updated 3 years ago
- ☆43Updated 7 months ago
- library learning w egraphs☆24Updated 2 years ago