ellisk42 / ec

MIT License
457 stars 137 forks source link

Update creating-new-domains.md #102

Open ManuelEberhardinger opened 1 year ago

ManuelEberhardinger commented 1 year ago

Fixed incr primitives for the example domain to work with python and pypy solver. If a lambda function is returned, the example domain will never find a solution to the tasks because Python always compares a lambda function to an integer when evaluating programs.