Alternatives and similar repositories for Pumpkin

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

• ztlpn / minilp
  A pure Rust linear programming solver
  ☆91Updated 4 years ago
• xgillard / ddo
  DDO a generic and efficient framework for MDD-based optimization.
  ☆63Updated 5 months ago
• shnarazk / splr
  A modern (trail saving, clause subsumption/vivification, learning-rate based selecting, rephrase) CDCL SAT solver in Rust
  ☆99Updated 4 months ago
• vandenheuvel / relp
  A Linear Program solver written in Rust.
  ☆19Updated 5 months ago
• chrjabs / rustsat
  This library aims to provide implementations of elements commonly used in the development on software in the area of satisfiability solvi…
  ☆51Updated last week
• advancedresearch / prop
  Propositional logic with types in Rust
  ☆64Updated 2 years ago
• cmpute / dashu
  A library set of arbitrary precision numbers implemented in Rust.
  ☆94Updated 8 months ago
• pishleback / Algebraeon
  Algorithms in computational algebra written in rust
  ☆77Updated 2 weeks ago
• stencillogic / astro-float
  Arbitrary precision floating point numbers library
  ☆113Updated 7 months ago
• ptal / pcp
  Constraint programming in Rust
  ☆110Updated last year
• Tehforsch / diman
  Define rust compile time unit systems using const generics
  ☆87Updated 9 months ago
• lakwet / voracious_sort
  Voracious radix sort
  ☆69Updated last year
• Kestrer / bounded-integer
  Bounded integers for Rust
  ☆35Updated 2 weeks ago
• Specy / microlp
  A pure Rust MILP solver
  ☆29Updated 8 months ago
• rust-lang / types-team
  Home of the "types team", affiliated with the compiler and lang teams.
  ☆96Updated 2 years ago
• faiface / par
  ⅋ — session types for Rust
  ☆208Updated 3 months ago
• besok / graphviz-rust
  The library provides basic functions to work with Graphviz dot lang from rust code.
  ☆83Updated last month
• scipopt / russcip
  Rust interface for SCIP
  ☆74Updated 2 weeks ago
• isaacholt100 / bnum
  Arbitrary, fixed size numeric types that extend the functionality of primitive numeric types in Rust.
  ☆115Updated last week
• shackle-rs / shackle
  A constraint modelling and rewriting library and compiler framework written in rust
  ☆25Updated last week
• tangentstorm / bex
  A rust crate for boolean expressions (expression trees, decision diagrams, etc.)
  ☆33Updated 2 months ago
• zk4x / zyx
  Tensor library for machine learning
  ☆26Updated 2 weeks ago
• 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…
  ☆32Updated 4 years ago
• udoprog / syntree
  A memory efficient syntax tree for language developers
  ☆62Updated 2 months ago
• unageek / inari
  A Rust implementation of interval arithmetic (IEEE 1788)
  ☆44Updated 9 months ago
• Kixiron / lasso
  A fast, concurrent string interner
  ☆158Updated last year
• pengowen123 / cmaes
  A Rust implementation of the CMA-ES optimization algorithm.
  ☆36Updated 5 months ago
• rust-lang / keyword-generics-initiative
  Public repository for the Rust keyword generics initiative
  ☆107Updated last year
• jeffparsons / rangemap
  Map data structure whose keys are stored as ranges
  ☆95Updated 2 weeks ago
• miam-miam / prse
  A tiny string parsing utility
  ☆34Updated 10 months ago