Search results

Synthesis Examples from SMT

Status: Open.

#130 In alcides/aeon;

· alcides opened on Nov 17, 2025

SuperMario: Invalid Fitness

bugSomething isn't workingSomething isn't working

Status: Open.

#120 In alcides/aeon;

· alcides opened on Aug 26, 2025

Liquid Types Optimization

enhancementNew feature or requestNew feature or request

Status: Open.

#114 In alcides/aeon;

· alcides opened on Jul 31, 2025

Improve Contributing documentation

Status: Open.

#102 In alcides/aeon;

· alcides opened on Jul 18, 2025

Library: Array

enhancementNew feature or requestNew feature or request

Status: Open.

#96 In alcides/aeon;

· alcides opened on Jul 4, 2025

Enumerative Algorithm halts within the time budget

bugSomething isn't workingSomething isn't working

Status: Open.

#89 In alcides/aeon;

· alcides opened on Jun 24, 2025

CLI: Support imports from out-of-tree

enhancementNew feature or requestNew feature or request

good first issueGood for newcomersGood for newcomers

help wantedExtra attention is neededExtra attention is needed

Status: Open.

#88 In alcides/aeon;

· alcides opened on Jun 15, 2025

Example: Arc Prize 2024

example

good first issueGood for newcomersGood for newcomers

help wantedExtra attention is neededExtra attention is needed

Status: Open.

#68 In alcides/aeon;

· alcides opened on Jul 30, 2024

Example: CP

example

good first issueGood for newcomersGood for newcomers

help wantedExtra attention is neededExtra attention is needed

Status: Open.

#67 In alcides/aeon;

· alcides opened on Jul 5, 2024

Optimising selective imports

enhancementNew feature or requestNew feature or request

good first issueGood for newcomersGood for newcomers

help wantedExtra attention is neededExtra attention is needed

Status: Open.

#64 In alcides/aeon;

· eduardo-imadeira opened on Apr 9, 2024

99 Problems Examples

example

good first issueGood for newcomersGood for newcomers

help wantedExtra attention is neededExtra attention is needed

Status: Open.

#56 In alcides/aeon;

· alcides opened on Mar 28, 2024

MBPP benchmark

example

good first issueGood for newcomersGood for newcomers

help wantedExtra attention is neededExtra attention is needed

Status: Open.

#50 In alcides/aeon;

· alcides opened on Mar 26, 2024