1
1
mirror of https://github.com/ProvableHQ/leo.git synced 2024-12-23 02:01:54 +03:00
leo/examples/silly-sudoku/inputs
2021-04-26 22:26:46 +03:00
..
silly-sudoku.in add silly-sudoku example 2021-03-29 22:12:06 -07:00
silly-sudoku.state add silly-sudoku example 2021-03-29 22:12:06 -07:00
test-input.in adds search for @test(custom) inputs path in kebab case 2021-04-21 15:27:10 +03:00