Alternatives and similar repositories for Pumpkin

Users that are interested in Pumpkin are comparing it to the libraries listed below

• xgillard / ddo
  DDO a generic and efficient framework for MDD-based optimization.
  ☆62Updated 2 months ago
• ztlpn / minilp
  A pure Rust linear programming solver
  ☆90Updated 4 years ago
• shnarazk / splr
  A modern (trail saving, clause subsumption/vivification, learning-rate based selecting, rephrase) CDCL SAT solver in Rust
  ☆99Updated last month
• chrjabs / rustsat
  This library aims to provide implementations of elements commonly used in the development on software in the area of satisfiability solvi…
  ☆37Updated last week
• advancedresearch / prop
  Propositional logic with types in Rust
  ☆62Updated 2 years ago
• lakwet / voracious_sort
  Voracious radix sort
  ☆68Updated last year
• rust-or / good_lp
  Linear Programming for Rust, with a user-friendly API. This crate allows modeling LP problems, and lets you solve them with various solve…
  ☆350Updated this week
• shackle-rs / shackle
  A constraint modelling and rewriting library and compiler framework written in rust
  ☆24Updated this week
• unageek / inari
  A Rust implementation of interval arithmetic (IEEE 1788)
  ☆42Updated 6 months ago
• vandenheuvel / relp
  A Linear Program solver written in Rust.
  ☆19Updated 2 months ago
• Kestrer / bounded-integer
  Bounded integers for Rust
  ☆31Updated 6 months ago
• ptal / pcp
  Constraint programming in Rust
  ☆109Updated last year
• stencillogic / astro-float
  Arbitrary precision floating point numbers library
  ☆110Updated 4 months ago
• rust-or / rust-lp-modeler
  Lp modeler written in Rust
  ☆103Updated 4 years ago
• awslabs / spindle
  ☆15Updated 2 months ago
• cfallin / boolean_expression
  A Rust library for manipulating and evaluating Boolean expressions and BDDs
  ☆32Updated 4 years ago
• rust-lang / types-team
  Home of the "types team", affiliated with the compiler and lang teams.
  ☆97Updated last year
• scipopt / russcip
  Rust interface for SCIP
  ☆71Updated this week
• vaivaswatha / pliron
  An Extensible Compiler IR Framework
  ☆187Updated this week
• cmpute / dashu
  A library set of arbitrary precision numbers implemented in Rust.
  ☆90Updated 6 months ago
• procyon-rs / showata
  A library of to show data (in browser, evcxr_jupyter) as table, chart...
  ☆29Updated 3 months ago
• matklad / arbtest
  A minimalist property-based testing library
  ☆112Updated 3 months ago
• contain-rs / bit-set
  A Set of Bits
  ☆68Updated last month
• pishleback / Algebraeon
  Algorithms in computational algebra written in rust
  ☆74Updated this week
• besok / graphviz-rust
  The library provides basic functions to work with Graphviz dot lang from rust code.
  ☆79Updated 2 months ago
• Tehforsch / diman
  Define rust compile time unit systems using const generics
  ☆86Updated 6 months ago
• AeneasVerif / eurydice
  Eurydice compiles (a modest subset of) Rust to C. Verify programs in Rust, still get C code for legacy environments.
  ☆110Updated this week
• valebes / ppl
  Parallelo Parallel Library (PPL) is a small parallel framework that brings Structured Parallel Programming in Rust.
  ☆77Updated last month
• simensgreen / rusymbols
  rusymbols is a Rust crate for symbolic mathematics. It aims to become a full-featured computer algebra system (CAS) while keeping the cod…
  ☆30Updated 4 years ago
• ElectrifyPro / cas-rs
  An opinionated computer algebra system written in Rust, used by CalcBot.
  ☆38Updated last month