 ARC-DSL (source code)

= ARC-DSL
{c}

https://github.com/michaelhodel/arc-dsl

This interesting repo defines a set of input transformations that can be composed together into programs to generate the solve ARC problems.

It does not appear to have any <program synthesis>: it only defines the DSL and then provides manual solutions to the problems.

The README is lacking as usual, an overview of the files is:
* https://github.com/michaelhodel/arc-dsl/blob/635de4902a5fb4e376f27333feaa396d3f5dfdcb/dsl.py[dsl.py]: defines the transformations as Python functions
* https://github.com/michaelhodel/arc-dsl/blob/635de4902a5fb4e376f27333feaa396d3f5dfdcb/solvers.py[solvers.py]: defines solvers for the 400 \x[ARC-AGI-1 training problems]{magic}

Intended usage to run the solvers seems to be:
``
git clone https://github.com/fchollet/ARC-AGI
cd ARC-AGI
git checkout 399030444e0ab0cc8b4e199870fb20b863846f34
git clone https://github.com/michaelhodel/arc-dsl
cd arc-dsl
git checkout 635de4902a5fb4e376f27333feaa396d3f5dfdcb
python main.py
``
Unfortunately this blows up on <Ubuntu 25.04> on `test_mpapply` apparently due to a <Python 3.12> issue and the pull request https://github.com/michaelhodel/arc-dsl/pull/7 has been ignored for more than one year, so the project is largely dead.
 Back to article page