Alternatives and similar repositories for AutoIG:

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

• airbus / discrete-optimization
  Discrete Optimization is a python library to ease the definition and re-use of discrete optimization problems and solvers.
  ☆51Updated 2 weeks ago
• Kurorororo / numeric-fast-downward
  ☆14Updated last year
• fawcettc / planning-features
  Scalar feature extractor for AI planning problems and domains in PDDL format
  ☆15Updated 4 years ago
• CPMpy / PyConA
  A cpmpy-based library for constraint acquisition.
  ☆16Updated last month
• PesantGilles / MiniCPBP
  Replacing standard support propagation by belief propagation in MiniCP
  ☆12Updated this week
• abcorrea / powerlifted
  Powerlifted Planner
  ☆29Updated 3 months ago
• williamshen-nz / STRIPS-HGN
  Learning Domain-Independent Planning Heuristics over Hypergraphs (ICAPS'20)
  ☆13Updated last week
• Opt-Mucca / Adaptive-Cutsel-MILP
  Adaptive Cut Selection in Mixed-Integer Linear Programming
  ☆13Updated last year
• ehebrard / Mistral-2.0
  ☆31Updated last year
• conjure-cp / EssenceCatalog
  A collection of problem specifications in Essence.
  ☆10Updated 10 months ago
• shaowei-cai-group / Local-ILP
  A standalone local search solver for general integer linear programming
  ☆16Updated 8 months ago
• shaowei-cai-group / Local-MIP
  A standalone local search solver for general mixed integer programming
  ☆21Updated 3 weeks ago
• ConSol-Lab / Pumpkin
  A lazy clause generation constraint solver written in Rust.
  ☆22Updated last week
• domain-independent-dp / didp-rs
  Domain-Independent Dynamic Programming (DIDP) framework implemented in Rust.
  ☆36Updated 2 weeks ago
• ed-lam / nutmeg
  Nutmeg – a MIP and CP branch-and-check solver
  ☆24Updated last year
• StephanGocht / VeriPB
  Verifier for pseudo-Boolean proofs
  ☆13Updated 2 years ago
• DillonZChen / wlplan
  Relational Features for PDDL Planning
  ☆11Updated 2 weeks ago
• renault-iaa / challenge-roadef-2022
  challenge EURO/ROADEF 2022 on RENAULT's truck loading : documents and issues
  ☆29Updated last year
• ctpelok77 / kstar
  ☆9Updated 2 years ago
• tomasgeffner / FOND-SAT
  FOND solver based on SAT
  ☆14Updated 2 years ago
• pg2455 / Hybrid-learn2branch
  Hybrid Models for Learning to Branch (NeurIPS 2020)
  ☆50Updated 3 years ago
• aig-upf / tarski
  Tarski - An AI Planning Modeling Framework
  ☆64Updated last year
• c4v4 / LKH3
  Customized version of Helsgaun's LKH3 algorithm for vehicle routing problems.
  ☆26Updated 2 years ago
• qcappart / learning-DD
  Implementation of the paper "Improving Optimization Bounds using Machine Learning: Decision Diagrams meet Deep Reinforcement Learning".
  ☆25Updated 5 years ago
• thtran97 / Local-Search-for-SAT
  Implementation of local search-based algorithms for solving SAT and Max-SAT in Python
  ☆13Updated 4 years ago
• randriu / synthesis
  ☆22Updated this week
• chocoteam / pychoco
  ☆14Updated 2 months ago
• whitemech / lydia
  A tool for LDLf translation to DFA and for LDLf synthesis.
  ☆23Updated last year
• aibasel / downward-benchmarks
  ☆37Updated 4 months 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