Alternatives and similar repositories for AutoIG

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

• MiniZinc / mzn-challenge
  An archive repository containing the MiniZinc instances used for the MiniZinc Challenge
  ☆13Updated 8 months ago
• airbus / discrete-optimization
  Discrete Optimization is a python library to ease the definition and re-use of discrete optimization problems and solvers.
  ☆62Updated 3 weeks ago
• Kurorororo / numeric-fast-downward
  ☆15Updated last year
• tias / constraint-solving-course
  An open-source course on constraint solving
  ☆24Updated last month
• abcorrea / powerlifted
  Powerlifted Planner
  ☆32Updated 7 months ago
• fawcettc / planning-features
  Scalar feature extractor for AI planning problems and domains in PDDL format
  ☆15Updated 4 years ago
• PesantGilles / MiniCPBP
  Replacing standard support propagation by belief propagation in MiniCP
  ☆13Updated 3 weeks ago
• stolba / MADLAPlanner
  Multiagent Distributed and Local Asynchronous Planner. A deterministic domain-independent multi-agent planner based on the MA-STRIPS form…
  ☆12Updated 7 years ago
• CPMpy / cpmpy
  Constraint Programming and Modeling library in Python, based on numpy, with direct solver access.
  ☆278Updated last week
• CPMpy / PyConA
  A cpmpy-based library for constraint acquisition.
  ☆19Updated last month
• QuMuLab / python-nnf
  Manipulate NNF (Negation Normal Form) logical sentences
  ☆18Updated 2 years ago
• Opt-Mucca / Adaptive-Cutsel-MILP
  Adaptive Cut Selection in Mixed-Integer Linear Programming
  ☆14Updated 2 years ago
• domain-independent-dp / didp-rs
  Domain-Independent Dynamic Programming (DIDP) framework implemented in Rust.
  ☆45Updated this week
• DillonZChen / wlplan
  Relational Features for PDDL Planning
  ☆13Updated last week
• d-krupke / cpsat-autotune
  WIP: Tune the hyperparameters of Google's OR-Tools' CP-SAT solver for specific models
  ☆18Updated 11 months ago
• StephanGocht / VeriPB
  Verifier for pseudo-Boolean proofs
  ☆14Updated 2 years ago
• shaowei-cai-group / Local-ILP
  A standalone local search solver for general integer linear programming
  ☆16Updated last year
• fraleo / OMTPlan
  A python framework for Optimal Planning Modulo Theories
  ☆11Updated last year
• aig-upf / tarski
  Tarski - An AI Planning Modeling Framework
  ☆67Updated last year
• ed-lam / nutmeg
  Nutmeg – a MIP and CP branch-and-check solver
  ☆26Updated 2 years ago
• corail-research / learning-generic-csp
  Representing CP problems as graphs
  ☆19Updated 7 months ago
• CWI-EvolutionaryIntelligence / GOMEA
  Library for optimization with the model-based evolutionary algorithm GOMEA (Gene-pool Optimal Mixing Evolutionary Algorithm)
  ☆22Updated 3 weeks ago
• zhaoyu-li / G4SATBench
  [TMLR 2024] G4SATBench: Benchmarking and Advancing SAT Solving with Graph Neural Networks
  ☆35Updated last year
• tomasgeffner / FOND-SAT
  FOND solver based on SAT
  ☆14Updated 2 years ago
• qcappart / hybrid-cp-rl-solver
  Combining Reinforcement Learning and Constraint Programming for Combinatorial Optimization
  ☆195Updated 5 years ago
• PyVRP / VRPLIB
  Python package to read and write vehicle routing problem instances.
  ☆113Updated 2 months ago
• JmfanBU / ReachNNStar
  Reachability Analysis Tool of Neural Network Controlled Systems (NNCSs)
  ☆17Updated 2 years ago
• arminbiere / runlim
  ☆16Updated last year
• whitemech / lydia
  A tool for LDLf translation to DFA and for LDLf synthesis.
  ☆23Updated last year
• williamshen-nz / STRIPS-HGN
  Learning Domain-Independent Planning Heuristics over Hypergraphs (ICAPS'20)
  ☆14Updated 4 months ago