Alternatives and similar repositories for psitip

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

• ML-KULeuven / PySDD
  Python package for Sentential Decision Diagrams (SDD)
  ☆65Updated 6 months ago
• probsys / sppl
  Probabilistic programming system for fast and exact symbolic inference
  ☆82Updated last year
• facebookresearch / LA-MCTS
  High dimensional black-box optimizer using Latent Action Monte Carlo Tree Search algorithm
  ☆28Updated 2 years ago
• optsuite / optlib
  ☆66Updated last week
• daajoe / GPUSAT
  ☆11Updated 3 years ago
• Wenda302 / IsarStep
  Code and dataset for the paper "IsarStep: a Benchmark for High-level Mathematical Reasoning"
  ☆12Updated 4 years ago
• crunchiness / lernd
  Lernd is ∂ILP (dILP) framework implementation based on Deepmind's paper Learning Explanatory Rules from Noisy Data.
  ☆24Updated 2 years ago
• verified-optimization / CvxLean
  Convex optimization modeling in Lean 4
  ☆54Updated last year
• sandialabs / Prove-It
  A tool for proving and organizing general theorems using Python.
  ☆30Updated this week
• inpefess / gym-saturation
  a collection of Gymnasium environments for saturation provers
  ☆22Updated 2 months ago
• z11i / pysat
  Simple SAT solver with CDCL implemented in Python
  ☆18Updated 2 years ago
• zawagner22 / cross-entropy-for-combinatorics
  Code accompanying the manuscript "Constructions in combinatorics via neural networks and LP solvers".
  ☆56Updated 3 years ago
• Tractables / ProbabilisticCircuits.jl
  Probabilistic Circuits from the Juice library
  ☆106Updated last year
• nicolasprevot / GpuShareSat
  Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.
  ☆34Updated 4 years ago
• microsoft / knossos-ksc
  Compiler with automatic differentiation
  ☆48Updated last year
• google-deepmind / PGMax
  Loopy belief propagation for factor graphs on discrete variables in JAX
  ☆154Updated 10 months ago
• HEmile / storchastic
  Stochastic Automatic Differentiation library for PyTorch.
  ☆206Updated last year
• albertqjiang / INT
  Official code for paper: INT: An Inequality Benchmark for Evaluating Generalization in Theorem Proving
  ☆39Updated 2 years ago
• dselsam / neurocore-public
  NeuroCore: Guiding CDCL with Unsat-Core Predictions
  ☆45Updated 5 years ago
• microsoft / PDP-Solver
  PDP: A General Neural Framework for Learning Constraint Satisfaction Solvers
  ☆41Updated 2 years ago
• pilancilab / scnn
  Scalable Convex Neural Networks
  ☆24Updated 4 months ago
• Tractables / PressedJuice.jl
  Lossless compression using Probabilistic Circuits
  ☆16Updated 3 years ago
• Tractables / pyjuice
  Scalable training and inference for Probabilistic Circuits
  ☆74Updated last month
• dylanpeifer / deepgroebner
  Applications of reinforcement learning to Groebner basis computation.
  ☆12Updated 4 years ago
• LUMII-Syslab / QuerySAT
  Official repository for paper "Goal-Aware Neural SAT Solver"
  ☆17Updated 2 years ago
• 921kiyo / symbolic-rl
  Symbolic Reinforcement Learning using Inductive Logic Programming
  ☆62Updated 2 years ago
• eve-mas / eve-parity
  Equilibrium Verification Environment (EVE) is a formal verification tool for the automated analysis of temporal equilibrium properties of…
  ☆20Updated last year
• polixir / ZOOpt
  A python package of Zeroth-Order Optimization (ZOOpt)
  ☆73Updated 2 years ago
• pylon-lib / pylon
  ☆122Updated last year
• pilancilab / convex_nn
  ☆16Updated 4 years ago