search

plaans / aries

Toolbox for automated planning and combinatorial solving.
MIT License
39 stars 5 forks source link

CoHoMa: unsupported features #88

Closed Shi-Raida closed 1 year ago

Shi-Raida commented 1 year ago

Solving the UP problem hddl:2020-to-Woodworking is timed out by the CI. On my laptop it is crashing with the following error:

thread 'thread '<unnamed><unnamed>' panicked at '' panicked at 'assertion failed: model.violated_clause(clause.clause_with_scope())assertion failed: model.violated_clause(clause.clause_with_scope())', ', solver/src/reasoners/sat/sat_solver.rssolver/src/reasoners/sat/sat_solver.rs:thread ':330<unnamed>330:' panicked at ':17assertion failed: model.violated_clause(clause.clause_with_scope())17