3 ms·
You should check this out, solving a somewhat similar type of problem using Alloy: https://www.hillelwayne.com/post/knights-knaves/ https://www.hillelwayne.com/
by felixyz 7y ago
You should check this out, solving a somewhat similar type of problem using Alloy: https://www.hillelwayne.com/post/knights-knaves/ https://www.hillelwayne.com/post/knights-knaves/