fixed-point-reasoners
/

fprm

Model card Files Files and versions

fprm / README.md

Commit History

add arc1/arc2 to main README

73bf95a
verified

nevera commited on 15 days ago

Fix sudoku folder link (sudoku-singlez-pnone -> sudoku)

04c0e06
verified

sajad-movahedi commited on 15 days ago

Document maze + sudoku FPRM models

f44bbdb
verified

sajad-movahedi commited on 15 days ago

initial commit

8ad9996
verified

sajad-movahedi commited on 15 days ago