Alternatives and similar repositories for schlandals

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

• tias / constraint-solving-course
  An open-source course on constraint solving
  ☆24Updated last week
• laudv / bitboost
  Fast Gradient Boosting Decision Trees with Bit-Level Data Structures
  ☆17Updated 3 years ago
• latte-int / latte
  LattE integrale, software for counting lattice points and integration over convex polytopes
  ☆48Updated 6 months ago
• pysathq / pysat
  A toolkit for SAT-based prototyping in Python
  ☆437Updated 3 weeks ago
• CPMpy / cpmpy
  Constraint Programming and Modeling library in Python, based on numpy, with direct solver access.
  ☆304Updated this week
• crillab / metrics
  mETRICS - rEproducible sofTware peRformance analysIs in perfeCt Simplicity
  ☆11Updated 5 months ago
• weighted-model-integration / pywmi
  ☆19Updated 2 years ago
• EU-TEACHING / teaching
  ☆39Updated 2 years ago
• domain-independent-dp / didp-rs
  Domain-Independent Dynamic Programming (DIDP) framework implemented in Rust.
  ☆50Updated 2 weeks ago
• csplib / csplib
  A benchmark library for constraints
  ☆97Updated this week
• chocoteam / pychoco
  ☆15Updated last month
• PesantGilles / MiniCPBP
  Replacing standard support propagation by belief propagation in MiniCP
  ☆13Updated last week
• ML-KULeuven / problog
  ProbLog is a Probabilistic Logic Programming Language for logic programs with probabilities.
  ☆379Updated last month
• QuMuLab / dsharp
  ☆18Updated 3 years ago
• chuffed / chuffed
  The Chuffed CP solver
  ☆113Updated last week
• ML-KULeuven / deepstochlog
  ☆36Updated last year
• minicp / minicp
  minicp
  ☆27Updated 9 months ago
• AishwaryaSivaraman / COMET
  Counterexample-Guided Learning of Monotonic Networks
  ☆18Updated 3 years ago
• Pat-Laub / EMpht.jl
  [Julia Package] Fitting Phase-Type Distributions using an EM Algorithm
  ☆13Updated 2 years ago
• flandolfi / virtual-di-unipi
  Tile map of the Computer Science Department of Università di Pisa
  ☆12Updated 4 years ago
• ilaspltd / ILASP-releases
  ☆38Updated 11 months ago
• UCLA-StarAI / Forclift
  First-order knowledge compilation for lifted probabilistic inference
  ☆11Updated 8 years ago
• arranger1044 / DEBD
  A collection of commonly used datasets as benchmarks for density estimation in MaLe
  ☆20Updated 6 years ago
• qubrabench / qubrabench
  Quantum benchmarking framework
  ☆14Updated last year
• arminbiere / kissat
  ☆587Updated 2 weeks ago
• unitn-sml / wmpy
  Reasoning over weighted algebraic and logical constraints
  ☆26Updated this week
• MiniZinc / libminizinc
  The MiniZinc compiler
  ☆637Updated 3 weeks ago
• polymake / polymake
  Read-only mirror (squashed) of the polymake project for convex geometry. For more information please visit
  ☆84Updated last month
• potassco / plingo
  🍀 A system for probabilistic reasoning in clingo
  ☆20Updated last year
• huub-solver / huub
  A Lazy Clause Generation solver with a focus on modularity and maintainability in addition to speed
  ☆24Updated 2 weeks ago