Alternatives and similar repositories for Pumpkin

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

• chrjabs / rustsat
  This library aims to provide implementations of elements commonly used in the development on software in the area of satisfiability solvi…
  ☆51Updated this week
• xgillard / ddo
  DDO a generic and efficient framework for MDD-based optimization.
  ☆68Updated 8 months ago
• ztlpn / minilp
  A pure Rust linear programming solver
  ☆91Updated 5 years ago
• shnarazk / splr
  A modern (trail saving, clause subsumption/vivification, learning-rate based selecting, rephrase) CDCL SAT solver in Rust
  ☆102Updated 7 months ago
• scipopt / russcip
  Rust interface for SCIP
  ☆86Updated last month
• Specy / microlp
  A pure Rust MILP solver
  ☆37Updated 3 weeks ago
• pishleback / Algebraeon
  Algorithms in computational algebra written in rust
  ☆80Updated last week
• Specy / rooc
  An optimization modeling language with solvers for MILP problems
  ☆59Updated 5 months ago
• stencillogic / astro-float
  Arbitrary precision floating point numbers library
  ☆112Updated 10 months ago
• vandenheuvel / relp
  A Linear Program solver written in Rust.
  ☆20Updated 2 weeks 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…
  ☆423Updated 3 weeks ago
• advancedresearch / prop
  Propositional logic with types in Rust
  ☆65Updated 2 years ago
• Andlon / paradis
  Parallel processing with disjoint indices in Rust
  ☆90Updated 9 months ago
• cmpute / dashu
  A library set of arbitrary precision numbers implemented in Rust.
  ☆95Updated 2 months ago
• Tehforsch / diman
  Define rust compile time unit systems using const generics
  ☆86Updated last year
• 0x2a-42 / lelwel
  Resilient LL(1) parser generator for Rust
  ☆186Updated last month
• zk4x / zyx
  Tensor library for machine learning
  ☆26Updated last week
• domain-independent-dp / didp-rs
  Domain-Independent Dynamic Programming (DIDP) framework implemented in Rust.
  ☆53Updated 3 weeks ago
• AeneasVerif / charon
  Analyze Rust crates without touching compiler internals
  ☆287Updated this week
• lakwet / voracious_sort
  Voracious radix sort
  ☆71Updated last month
• rust-lang / types-team
  Home of the "types team", affiliated with the compiler and lang teams.
  ☆97Updated 2 years ago
• ElectrifyPro / cas-rs
  An opinionated computer algebra system written in Rust, used by CalcBot.
  ☆46Updated 2 months ago
• Vanille-N / tree-borrows
  Overview of the Tree Borrows rules for detecting violations of the aliasing discipline in Rust
  ☆27Updated last year
• shackle-rs / shackle
  A constraint modelling and rewriting library and compiler framework written in rust
  ☆29Updated 3 weeks ago
• metaborg / rust-scopegraphs
  Scope Graph Implementation in Rust
  ☆28Updated last year
• BurntSushi / duration-unit-lookup
  How fast can we recognize a word from a small pre-determined set?
  ☆88Updated last year
• cognitive-engineering-lab / argus
  An IDE extension for debugging trait errors in Rust.
  ☆313Updated 4 months ago
• faiface / par
  ⅋ — session types for Rust
  ☆219Updated 6 months ago
• LeonSering / rapid_solve
  A metaheuristic framework for solving combinatorial optimization problems
  ☆38Updated last year
• Kestrer / bounded-integer
  Bounded integers for Rust
  ☆38Updated 3 months ago