Alternatives and similar repositories for fairpy

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

• KarlsruheMIS / KaMIS
  Maximum independent sets and vertex covers of large sparse graphs.
  ☆79Updated last week
• pysathq / pysat
  A toolkit for SAT-based prototyping in Python
  ☆444Updated 2 weeks ago
• CPMpy / cpmpy
  Constraint Programming and Modeling library in Python, based on numpy, with direct solver access.
  ☆331Updated this week
• dtompkins / ubcsat
  The Stochastic Local Search SAT Solver from UBC
  ☆32Updated 3 years ago
• StephanGocht / VeriPB
  Verifier for pseudo-Boolean proofs
  ☆15Updated 3 years ago
• Human-Centric-Machine-Learning / disease-control
  Code and data for "Stochastic Optimal Control of Epidemic Processes in Networks", ML4H at NeurIPS 2018
  ☆13Updated 2 years ago
• zhaoyu-li / G4SATBench
  [TMLR 2024] G4SATBench: Benchmarking and Advancing SAT Solving with Graph Neural Networks
  ☆38Updated last year
• dselsam / neurosat
  NeuroSAT: Learning a SAT Solver from Single-Bit Supervision
  ☆290Updated 6 years ago
• causalincentives / pycid
  Library for graphical models of decision making, based on pgmpy and networkx
  ☆112Updated 2 years ago
• QuMuLab / python-nnf
  Manipulate NNF (Negation Normal Form) logical sentences
  ☆20Updated 3 years ago
• zawagner22 / cross-entropy-for-combinatorics
  Code accompanying the manuscript "Constructions in combinatorics via neural networks and LP solvers".
  ☆57Updated 4 years ago
• whitemech / FOND4LTLf
  FOND4LTLf translates an LTLf/PLTLf-FOND to standard FOND planning problems
  ☆16Updated last year
• matthelb / concorde
  Concorde is a computer code for the symmetric traveling salesman problem (TSP) and some related network optimization problems. It was cre…
  ☆108Updated 4 years ago
• cheuktingli / psitip
  Python Symbolic Information Theoretic Inequality Prover
  ☆47Updated 8 months ago
• MiniZinc / minizinc-python
  Access to all MiniZinc functionality directly from Python
  ☆201Updated last month
• dselsam / neurocore-public
  NeuroCore: Guiding CDCL with Unsat-Core Predictions
  ☆47Updated 5 years ago
• vardigroup / FourierSAT
  A continuous local search SAT solver based on Fourier expansion for hybrid Boolean constraints.
  ☆12Updated last year
• whitemech / pylogics
  A Python library for logic formalisms representation and manipulation.
  ☆16Updated 2 years ago
• CWI-EvolutionaryIntelligence / GOMEA
  Library for optimization with the model-based evolutionary algorithm GOMEA (Gene-pool Optimal Mixing Evolutionary Algorithm)
  ☆25Updated 6 months ago
• daffidwilde / matching
  A package for solving matching games
  ☆167Updated 4 months ago
• NeuralNetworkVerification / Marabou
  ☆311Updated 3 months ago
• probsys / sppl
  Probabilistic programming system for fast and exact symbolic inference
  ☆84Updated last year
• maximaximal / Paracooba
  Distributed and ressource elastic cube-and-conquer SAT & QBF solver
  ☆20Updated 3 years ago
• sharmaeklavya2 / theoremdep-source
  Source files for TheoremDep - a theorem dependency tracker
  ☆22Updated 6 months ago
• sat-group / open-wbo
  Open-WBO: state-of-the-art MaxSAT and Pseudo-Boolean solver
  ☆77Updated 2 years ago
• laser-ufpb / CVRPController
  CVRPController is used to run and calculate score for the 12th DIMACS Implementation Challenge: CVRP track.
  ☆26Updated 4 years ago
• ryanzhangfan / NeuroSAT
  PyTorch implementation of NeuroSAT
  ☆28Updated 2 years ago
• csplib / csplib
  A benchmark library for constraints
  ☆98Updated 3 months ago
• algorithms-with-predictions / algorithms-with-predictions.github.io
  Overview website for research on Algorithms with Predictions (ALPS)
  ☆51Updated this week
• rschwiebert / RingApp
  A database app for ring theory
  ☆22Updated this week