-
Notifications
You must be signed in to change notification settings - Fork 33
Issues
is:issue state:open
is:issue state:open
Issue creation is restricted in this repository
Search results
Revisit the
SparseSetimplementationdocumentationImprovements or additions to documentationImprovements or additions to documentationStatus: Open.#434 In ConSol-Lab/Pumpkin;- Status: Open.#432 In ConSol-Lab/Pumpkin;
Revisit Semantic Minimisation during Learning
enhancementNew feature or requestNew feature or requestStatus: Open.#397 In ConSol-Lab/Pumpkin;- Status: Open.#392 In ConSol-Lab/Pumpkin;
Idempotency
enhancementNew feature or requestNew feature or requestStatus: Open.Better autonomous search
enhancementNew feature or requestNew feature or requestStatus: Open.Consistency checkers
documentationImprovements or additions to documentationImprovements or additions to documentationenhancementNew feature or requestNew feature or requestStatus: Open.Half-reified propagators
enhancementNew feature or requestNew feature or requestStatus: Open.- Status: Open.
Nogood management
enhancementNew feature or requestNew feature or requestStatus: Open.Circuit
enhancementNew feature or requestNew feature or requestStatus: Open.Preprocessing variables
enhancementNew feature or requestNew feature or requestStatus: Open.