Alternatives and similar repositories for schlandals

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

• ML-KULeuven / deepstochlog
  ☆31Updated last year
• weighted-model-integration / pywmi
  ☆19Updated 2 years ago
• QuMuLab / dsharp
  ☆17Updated 2 years ago
• PesantGilles / MiniCPBP
  Replacing standard support propagation by belief propagation in MiniCP
  ☆12Updated last month
• crillab / metrics
  mETRICS - rEproducible sofTware peRformance analysIs in perfeCt Simplicity
  ☆11Updated this week
• latte-int / latte
  LattE integrale, software for counting lattice points and integration over convex polytopes
  ☆48Updated 2 weeks ago
• ciaranm / glasgow-subgraph-solver
  A solver for subgraph isomorphism problems, based upon a series of papers by subsets of McCreesh, Prosser, and Trimble.
  ☆79Updated last week
• kamel-usp / dpasp
  Differentiable probabilistic answer set programming
  ☆20Updated 6 months ago
• ML-KULeuven / PySDD
  Python package for Sentential Decision Diagrams (SDD)
  ☆59Updated 2 months ago
• CPMpy / PyConA
  A cpmpy-based library for constraint acquisition.
  ☆17Updated this week
• neuppl / rsdd
  Performant and safe knowledge compilation in rust
  ☆27Updated 2 weeks ago
• UCLA-StarAI / Density-Estimation-Datasets
  A collection of commonly used datasets as benchmarks for density estimation
  ☆24Updated 5 years ago
• Laakeri / sharpsat-td
  Entry to model counting competition 2021.
  ☆20Updated 10 months ago
• VeriFIT / mata
  A fast and simple automata library
  ☆25Updated this week
• toulbar2 / toulbar2
  Exact optimization for cost function networks and additive graphical models
  ☆56Updated this week
• ilaspltd / ILASP-releases
  ☆37Updated 6 months ago
• alexeyignatiev / xreason
  XReason - formal reasoning about explanations for ML models
  ☆16Updated this week
• laudv / veritas
  Versatile Verification of Tree Ensembles
  ☆18Updated 11 months ago
• celinehocquette / magicpopper
  C. Hocquette and A. Cropper, Learning programs with magic values.
  ☆18Updated 2 years ago
• AishwaryaSivaraman / COMET
  Counterexample-Guided Learning of Monotonic Networks
  ☆18Updated 2 years ago
• alexeyignatiev / mkplot
  A Python script to create cactus and scatter plots based on matplotlib
  ☆24Updated 4 years ago
• domschrei / mallob
  Malleable Load Balancer. Massively Parallel Logic Backend. Award-winning SAT solving for the cloud.
  ☆66Updated last week
• SynthesisLab / DeepSynth2
  General purpose program synthetiser with existing Programming By Examples (PBE) pipeline
  ☆16Updated this week
• braun-steven / simple-einet
  An implementation of EinsumNetworks in PyTorch.
  ☆21Updated 4 months ago
• chuffed / chuffed
  The Chuffed CP solver
  ☆104Updated last month
• sat-heritage / docker-images
  SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers
  ☆38Updated 2 years ago
• april-tools / cirkit
  a python framework to build, learn and reason about probabilistic circuits and tensor networks
  ☆95Updated 3 weeks ago
• marijnheule / drat-trim
  The DRAT-trim proof checker
  ☆59Updated 5 months ago
• moves-rwth / stormpy
  Python Bindings for the Probabilistic Model Checker Storm
  ☆33Updated this week
• meelgroup / ganak
  High-performance probabilistic exact counter
  ☆37Updated this week