soarlab / FPTaylor
Tool for Rigorous Estimation of Round-Off Floating-Point Errors
☆30Updated 7 months ago
Alternatives and similar repositories for FPTaylor:
Users that are interested in FPTaylor are comparing it to the libraries listed below
- ☆46Updated 8 months ago
- A standard for floating point accuracy benchmarks☆49Updated 2 weeks ago
- Scalable yet rigorous Floating-point Error Analysis☆12Updated 10 months ago
- A debugger to detect and diagnose numerical errors in floating point programs☆12Updated 2 years ago
- LibPoly is a C library for manipulating polynomials☆51Updated 3 months ago
- IC3 reference implementation: a short, simple, fairly competitive implementation of IC3. Read it, tune it, extend it, play with it.☆56Updated 9 years ago
- Tools from Pugh et al.'s "Omega Project" for constraint-based compiler tools: The "Omega Library" for constraint manipulation; The "Omega…☆71Updated 3 years ago
- There is a new version of dReal, available at https://github.com/dreal/dreal4☆49Updated 3 years ago
- ☆88Updated 2 years ago
- Communication between Coq and SAT/SMT solvers☆159Updated 6 months ago
- A delta debugger for SMT benchmarks in SMT-LIB v2.☆54Updated 11 months ago
- ☆27Updated this week
- Libraries useful for Dafny programs☆43Updated last week
- Solver for Constrained Horn Clauses☆37Updated this week
- A model checker for infinite-state systems.☆74Updated 3 months ago
- Pono: A flexible and extensible SMT-based model checker☆95Updated last week
- MonoSAT - An SMT solver for Monotonic Theories☆111Updated 2 weeks ago
- Quantifier Elimination by Partial Cylindrical Algebraic Decomposition☆24Updated 10 months ago
- CAQE is a solver for quantified Boolean formulas☆31Updated last year
- Verilog development and verification project for HOL4☆25Updated 4 months ago
- Interval arithmetic for real computation☆21Updated last week
- ☆52Updated 3 weeks ago
- The opensmt solver☆82Updated this week
- Apron Numerical Abstract Domain Library☆121Updated 2 weeks ago
- Verimag Polyhedra Library☆17Updated 4 years ago
- TriCera: a model checker for C programs☆24Updated 2 weeks ago
- Gallina to Bedrock2 compilation toolkit☆53Updated 2 weeks ago
- The Standard Interface for Incremental Satisfiability Solving☆49Updated 2 years ago
- DEPRECATED. Soufflé is a translator of declarative Datalog programs into the C++ language.☆49Updated 7 years ago
- Definition of the Viper intermediate verification language.☆83Updated 2 weeks ago