clsn / riesLinks
Robert Munafo's reverse equation solver
☆17Updated 2 years ago
Alternatives and similar repositories for ries
Users that are interested in ries are comparing it to the libraries listed below
Sorting:
- Jupyter Kernel for Mathics☆20Updated 9 years ago
- Deposited packages of the homalg project☆16Updated 2 months ago
- Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.☆34Updated 4 years ago
- A library for disassembling x86-64 binaries.☆43Updated 6 months ago
- Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆82Updated last year
- The axiom profiler for exploring and visualizing SMT solver quantifier instantiations (made via E-matching).☆32Updated 8 months ago
- Python term rewriting☆30Updated 12 years ago
- Challenging SAT benchmarks for matrix multiplication☆11Updated 4 years ago
- IFA is a library for Interative Flow Analysis of computer programs. This software is for compiler developers and program analysis resea…☆13Updated 4 months ago
- Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆62Updated 2 years ago
- knot theory and computational algebra software☆38Updated 11 years ago
- Lower Size Bounds for Sorting Networks☆46Updated 4 years ago
- a simplistic implementation of the Mathematica language in C++ (not maintained anymore, consider using Mathics instead)☆38Updated 13 years ago
- A library for binary analysis and rewriting☆48Updated 2 years ago
- GluCat: Clifford algebra templates☆21Updated 8 months ago
- A toy code generator (i.e. "program synthesis") using the Z3 solver☆35Updated 7 years ago
- Data files containing the Cremona Database of all elliptic curves over Q of bounded conductor: see also http://www.lmfdb.org/EllipticCurv…☆21Updated last year
- Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.☆48Updated 2 weeks ago
- Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.☆32Updated 6 months ago
- We compute the Brumer-Stark units and the polynomial required to generate the Hilbert class field of some real quadratic fields, as compu…☆32Updated 4 years ago
- SAT instance generator for SHA-1☆49Updated 4 years ago
- A Mathematica package for generating symbolic models from data☆48Updated 3 years ago
- Linux kernel library functions formally verified.☆52Updated 4 years ago
- A tool for testing C compilers automatically☆21Updated 9 years ago
- PRolog Equation Solving System☆29Updated 9 years ago
- Tokenizer, and operator and character tables, and conversion routines for the Wolfram Language.☆22Updated 2 months ago
- A Free World Class High Performance SAT Solver☆20Updated 4 years ago
- ☆19Updated 8 years ago
- Debugger in the Trepan family for x-python☆16Updated 3 weeks ago
- An implementation of the APL language in Python with the Numpy module☆29Updated 8 years ago