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:
- Jupyter Kernel for Mathics☆20Updated 8 years ago
- Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.☆34Updated 4 years ago
- Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆61Updated 2 years ago
- A library for disassembling x86-64 binaries.☆43Updated 5 months ago
- SAT instance generator for SHA-1☆49Updated 4 years ago
- Challenging SAT benchmarks for matrix multiplication☆11Updated 3 years ago
- A Mathematica package for generating symbolic models from data☆48Updated 3 years ago
- Tokenizer, and operator and character tables, and conversion routines for the Wolfram Language.☆22Updated last month
- Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆81Updated last year
- A research platform and active library for generalised SAT solving☆33Updated 4 months ago
- a simplistic implementation of the Mathematica language in C++ (not maintained anymore, consider using Mathics instead)☆38Updated 13 years ago
- Swing, divide and conquer the factorial!☆81Updated 3 years ago
- Automatic inference of a formal specification of the x86_64 instruction set☆71Updated 9 years ago
- Python term rewriting☆30Updated 12 years ago
- Encyclopedia of Combinatorial Structures☆15Updated 7 years ago
- Compiler Technologies for Mathematica/Wolfram Language.☆36Updated 5 years ago
- IncPy: An auto-memoizing Python interpreter that enables incremental recomputation☆22Updated 15 years ago
- Turn an interpreter into a code generator☆31Updated 9 years ago
- Theorema: A System for Automated Reasoning (Theorem Proving) and Automated Theory Exploration based on Mathematica☆73Updated 4 years ago
- A library for binary analysis and rewriting☆48Updated 2 years ago
- LinBox - C++ library for exact, high-performance linear algebra☆97Updated last month
- Buchbergers algorithm for computing Groebner basis of polynonmial ideals☆13Updated last year
- Parser for the llvm bitcode format☆59Updated this week
- PRolog Equation Solving System☆29Updated 9 years ago
- Deposited packages of the homalg project☆16Updated last month
- A software package for algebraic, geometric and combinatorial problems on linear spaces. By R. Hemmecke, R. Hemmecke, M. Köppe, P. Malkin…☆43Updated 3 months ago
- Debugger in the Trepan family for x-python☆16Updated this week
- Fungrim: the Mathematical Functions Grimoire☆123Updated 3 years ago
- Metamath program - source code for the Metamath executable☆86Updated 2 months ago
- An implementation of the APL language in Python with the Numpy module☆29Updated 8 years ago