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 last month
• ztlpn / minilp
  A pure Rust linear programming solver
  ☆88Updated 4 years ago
• vandenheuvel / relp
  A Linear Program solver written in Rust.
  ☆19Updated last month
• scipopt / russcip
  Rust interface for SCIP
  ☆70Updated last week
• domain-independent-dp / didp-rs
  Domain-Independent Dynamic Programming (DIDP) framework implemented in Rust.
  ☆45Updated last month
• shnarazk / splr
  A modern (trail saving, clause subsumption/vivification, learning-rate based selecting, rephrase) CDCL SAT solver in Rust
  ☆99Updated 2 weeks ago
• lakwet / voracious_sort
  Voracious radix sort
  ☆68Updated last year
• ptal / pcp
  Constraint programming in Rust
  ☆109Updated 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…
  ☆342Updated 2 weeks ago
• pishleback / Algebraeon
  Algorithms in computational algebra written in rust
  ☆71Updated 3 weeks ago
• shackle-rs / shackle
  A constraint modelling and rewriting library and compiler framework written in rust
  ☆24Updated 2 weeks ago
• EnzymeAD / rust
  A rust fork to work towards Enzyme integration
  ☆90Updated 3 weeks ago
• rust-or / rust-lp-modeler
  Lp modeler written in Rust
  ☆102Updated 4 years ago
• sunsided / pddl-rs
  A Planning Domain Definition Language (PDDL 3.1) parser written in Rust
  ☆17Updated 3 weeks ago
• advancedresearch / prop
  Propositional logic with types in Rust
  ☆62Updated last year
• Specy / microlp
  A pure Rust MILP solver
  ☆25Updated 4 months ago
• unageek / inari
  A Rust implementation of interval arithmetic (IEEE 1788)
  ☆41Updated 5 months ago
• EnzymeAD / oxide-enzyme
  Enzyme integration into Rust. Experimental, do not use.
  ☆101Updated 2 years ago
• LaurentMazare / xla-rs
  Experimentation using the xla compiler from rust
  ☆95Updated 10 months ago
• AeneasVerif / charon
  Interface with the rustc compiler for the purpose of program verification
  ☆168Updated last week
• cognitive-engineering-lab / argus
  An IDE extension for debugging trait errors in Rust.
  ☆185Updated 2 months ago
• camshaft / bolero
  property testing and verification front-end for Rust
  ☆210Updated last week
• stencillogic / astro-float
  Arbitrary precision floating point numbers library
  ☆109Updated 4 months ago
• zk4x / zyx
  Tensor library for machine learning
  ☆27Updated last week
• tangentstorm / bex
  A rust crate for boolean expressions (expression trees, decision diagrams, etc.)
  ☆33Updated last month
• potassco / clingo-rs
  🗝️ Rust bindings to the clingo library
  ☆32Updated 5 months ago
• rust-or / lp-solvers
  library implementing interaction with various linear programming solvers
  ☆21Updated last year
• rust-scicomp / scientific-computing-in-rust-monthly
  ☆31Updated this week
• Kestrer / bounded-integer
  Bounded integers for Rust
  ☆31Updated 5 months ago
• nestordemeure / friedrich
  A Rust implementation of Gaussian Process regression.
  ☆56Updated last year