clsn / riesLinks
Robert Munafo's reverse equation solver
☆15Updated 2 years ago
Alternatives and similar repositories for ries
Users that are interested in ries are comparing it to the libraries listed below
Sorting:
- Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.☆34Updated 4 years ago
- Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆81Updated last year
- Jupyter Kernel for Mathics☆20Updated 8 years ago
- Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆61Updated 2 years ago
- LODA Programs for Integer Sequences☆37Updated this week
- The axiom profiler for exploring and visualizing SMT solver quantifier instantiations (made via E-matching).☆32Updated 6 months ago
- Challenging SAT benchmarks for matrix multiplication☆11Updated 3 years ago
- SAT instance generator for SHA-1☆49Updated 4 years ago
- Python term rewriting☆30Updated 12 years ago
- Solving floating point SMT constraints on a GPU☆49Updated 4 years ago
- A library for disassembling x86-64 binaries.☆42Updated 4 months ago
- Automatically exported from code.google.com/p/atlasofliegroups☆32Updated this week
- Metamath verifier in Python☆40Updated 2 months ago
- Swing, divide and conquer the factorial!☆81Updated 3 years ago
- Fungrim: the Mathematical Functions Grimoire☆123Updated 3 years ago
- A Mathematica package for generating symbolic models from data☆48Updated 3 years ago
- a simplistic implementation of the Mathematica language in C++ (not maintained anymore, consider using Mathics instead)☆38Updated 13 years ago
- Source of metamath book☆49Updated last year
- A Binder repo for SageMath computing environment☆32Updated this week
- A C++20 library for the symbolic manipulation of sparse polynomials & co.☆28Updated 10 months ago
- Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.☆48Updated last week
- LinBox - C++ library for exact, high-performance linear algebra☆94Updated 3 weeks ago
- Lower Size Bounds for Sorting Networks☆46Updated 4 years ago
- A toy code generator (i.e. "program synthesis") using the Z3 solver☆35Updated 7 years ago
- GluCat: Clifford algebra templates☆21Updated 5 months ago
- Compiler Technologies for Mathematica/Wolfram Language.☆36Updated 5 years ago
- Superoptimizer using the z3 SMT solver☆17Updated 4 years ago
- Write LaTeX-formatted documents using J evaluation☆18Updated 9 years ago
- Java implementations of sequences in the OEIS☆65Updated this week
- Julia Implementation of Unums☆42Updated 8 years ago