river-crossing-spec reviews and mentions
Posts with mentions or reviews of river-crossing-spec.
We have used some of these posts to build our list of alternatives
and similar projects.
-
How do you express the Fox, Chicken and Grain puzzle in mathematical notations?
With a bit of temporal logic of actions: https://github.com/semperos/river-crossing-spec
Stats
Basic river-crossing-spec repo stats
1
1
10.0
over 4 years ago
The primary programming language of river-crossing-spec is TLA.
Sponsored
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com