Search results

Optimization: add only local constraints to ASP encoding

Status: Open.

#130 In Herb-AI/HerbConstraints.jl;

· ReubenJ opened on Apr 22, 2026

Refactor opportunity: LocalConstraint{T}

Status: Open.

#129 In Herb-AI/HerbConstraints.jl;

· ReubenJ opened on Apr 22, 2026

VS Code test UI includes module name

Status: Open.

#125 In Herb-AI/HerbConstraints.jl;

· dekelzeldov opened on Apr 13, 2026

Generalize Path constraints + add Contains/Unique/Forbid template path

Status: Open.

#123 In Herb-AI/HerbConstraints.jl;

· THinnerichs opened on Mar 24, 2026

Encoding of "alias" rules to ASP

Status: Open.

#119 In Herb-AI/HerbConstraints.jl;

· ReubenJ opened on Mar 23, 2026

ASPSolver issues

Status: Open.

#116 In Herb-AI/HerbConstraints.jl;

· THinnerichs opened on Mar 18, 2026

Add error hint for missing solve(::ASPSolver)

Status: Open.

Feature

#115 In Herb-AI/HerbConstraints.jl;

· ReubenJ opened on Mar 3, 2026

ASPSolver should compute one model on each iterate call

enhancementNew feature or requestNew feature or request

Status: Open.

#110 In Herb-AI/HerbConstraints.jl;

· IssaHanou opened on Jan 21, 2026

Ordered constraint propagation fails on rule with arity > 2

bugSomething isn't workingSomething isn't working

Status: Open.

#108 In Herb-AI/HerbConstraints.jl;

· ReubenJ opened on Nov 24, 2025

StateInt's backup! taking large amounts of runtime

Status: Open.

#100 In Herb-AI/HerbConstraints.jl;

· ReubenJ opened on Jul 9, 2025

addconstraint! for Solvers

Status: Open.

#92 In Herb-AI/HerbConstraints.jl;

· ReubenJ opened on May 19, 2025

Think about what to track

Status: Open.

#85 In Herb-AI/HerbConstraints.jl;

· THinnerichs opened on Apr 3, 2025