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.
  ☆64Updated 6 months ago
• ztlpn / minilp
  A pure Rust linear programming solver
  ☆91Updated 5 years ago
• chrjabs / rustsat
  This library aims to provide implementations of elements commonly used in the development on software in the area of satisfiability solvi…
  ☆52Updated last week
• Specy / microlp
  A pure Rust MILP solver
  ☆30Updated 8 months ago
• vandenheuvel / relp
  A Linear Program solver written in Rust.
  ☆19Updated 6 months ago
• shnarazk / splr
  A modern (trail saving, clause subsumption/vivification, learning-rate based selecting, rephrase) CDCL SAT solver in Rust
  ☆101Updated 5 months ago
• advancedresearch / prop
  Propositional logic with types in Rust
  ☆64Updated 2 years ago
• cmpute / dashu
  A library set of arbitrary precision numbers implemented in Rust.
  ☆95Updated 3 weeks ago
• scipopt / russcip
  Rust interface for SCIP
  ☆76Updated last week
• pishleback / Algebraeon
  Algorithms in computational algebra written in rust
  ☆79Updated 3 weeks ago
• rust-lang / types-team
  Home of the "types team", affiliated with the compiler and lang teams.
  ☆96Updated 2 years ago
• stencillogic / astro-float
  Arbitrary precision floating point numbers library
  ☆113Updated 8 months ago
• 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…
  ☆391Updated 2 weeks ago
• lakwet / voracious_sort
  Voracious radix sort
  ☆70Updated 2 years ago
• Specy / rooc
  An optimization modeling language with solvers for MILP problems
  ☆59Updated 3 months ago
• Kestrer / bounded-integer
  Bounded integers for Rust
  ☆37Updated last month
• Andlon / paradis
  Parallel processing with disjoint indices in Rust
  ☆90Updated 7 months ago
• Tehforsch / diman
  Define rust compile time unit systems using const generics
  ☆87Updated 10 months ago
• domain-independent-dp / didp-rs
  Domain-Independent Dynamic Programming (DIDP) framework implemented in Rust.
  ☆52Updated last month
• LeonSering / rapid_solve
  A metaheuristic framework for solving combinatorial optimization problems
  ☆38Updated 10 months ago
• pengowen123 / cmaes
  A Rust implementation of the CMA-ES optimization algorithm.
  ☆36Updated 6 months ago
• JErnestoMtz / rapl
  Rank Polymorphic array library for Rust.
  ☆103Updated 2 years ago
• OwenTrokeBillard / vf2
  VF2 subgraph isomorphism algorithm in Rust.
  ☆67Updated 9 months ago
• Cydhra / vers
  Succinct data structures using very efficient rank and select
  ☆127Updated last week
• bazhenov / tango
  Rust microbenchmarking harness based on paired-testing methodology
  ☆144Updated 3 weeks ago
• EnzymeAD / oxide-enzyme
  Enzyme integration into Rust. Experimental, do not use.
  ☆102Updated 2 years ago
• rust-lang / project-const-generics
  ☆45Updated 3 years ago
• pnevyk / gryf
  Graph data structure library aspiring to be convenient, versatile, correct and performant.
  ☆84Updated last week
• faiface / par
  ⅋ — session types for Rust
  ☆213Updated 4 months ago
• gungraun / gungraun
  High-precision, one-shot and consistent benchmarking framework/harness for Rust. All Valgrind tools at your fingertips.
  ☆171Updated last week