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 week
• domain-independent-dp / didp-rs
  Domain-Independent Dynamic Programming (DIDP) framework implemented in Rust.
  ☆42Updated last month
• scipopt / russcip
  Rust interface for SCIP
  ☆61Updated this week
• vandenheuvel / relp
  A Linear Program solver written in Rust.
  ☆19Updated last month
• ztlpn / minilp
  A pure Rust linear programming solver
  ☆85Updated 4 years ago
• shackle-rs / shackle
  A constraint modelling and rewriting library and compiler framework written in rust
  ☆23Updated 2 months ago
• shnarazk / splr
  A modern (trail saving, clause subsumption/vivification, learning-rate based selecting, rephrase) CDCL SAT solver in Rust
  ☆91Updated last month
• StephanGocht / VeriPB
  Verifier for pseudo-Boolean proofs
  ☆14Updated 2 years ago
• Specy / microlp
  A pure Rust MILP solver
  ☆22Updated 2 months ago
• ptal / pcp
  Constraint programming in Rust
  ☆105Updated last year
• rust-or / lp-solvers
  library implementing interaction with various linear programming solvers
  ☆21Updated last year
• rust-or / rust-lp-modeler
  Lp modeler written in Rust
  ☆102Updated 4 years 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…
  ☆323Updated last month
• ykrist / rust-grb
  Rust library bindings to the Gurobi optimiser.
  ☆21Updated 3 months ago
• rschwarz / Diderot.jl
  Decision Diagrams for Discrete Optimization - Generic Julia Implementation
  ☆16Updated 3 years ago
• EnzymeAD / rust
  A rust fork to work towards Enzyme integration
  ☆86Updated this week
• AdrienChampion / hashconsing
  A Rust hashconsing library.
  ☆32Updated 9 months ago
• viperproject / smt-scope
  SMTscope automatically analyses and visualises SMT solver execution traces.
  ☆37Updated last month
• qnighy / ratsat
  MiniSat reimplemented in Rust
  ☆20Updated 7 years ago
• biotomas / ipasir
  The Standard Interface for Incremental Satisfiability Solving
  ☆49Updated 2 years ago
• cfallin / boolean_expression
  A Rust library for manipulating and evaluating Boolean expressions and BDDs
  ☆32Updated 4 years ago
• pishleback / Algebraeon
  Algorithms in computational algebra written in rust
  ☆53Updated this week
• sunsided / pddl-rs
  A Planning Domain Definition Language (PDDL 3.1) parser written in Rust
  ☆16Updated 11 months ago
• OxiDD / oxidd
  Concurrent decision diagram framework written in Rust
  ☆61Updated last month
• advancedresearch / prop
  Propositional logic with types in Rust
  ☆62Updated last year
• lakwet / voracious_sort
  Voracious radix sort
  ☆67Updated last year
• potassco / flatzinc
  🫓 A parser for the FlatZinc modelling language
  ☆13Updated 2 months ago
• hopv / rust-horn
  RustHorn: A CHC-based automated verifier for Rust
  ☆78Updated last month
• ciaranm / glasgow-constraint-solver
  A constraint programming solver with support for proof logging
  ☆14Updated this week
• shaowei-cai-group / Local-MIP
  A standalone local search solver for general mixed integer programming
  ☆21Updated 2 months ago