[[Category:Demo]]
category = Demo
5 KB (761 words) - 20:31, 29 November 2011
...s) issues in your B machines. See [https://youtu.be/td7CKFkAvaw this small demo video].
3 KB (445 words) - 08:25, 3 May 2021
See [https://youtu.be/td7CKFkAvaw for a small demo video].
6 KB (987 words) - 11:05, 18 May 2021
probcli public_examples/B/Demo/CarlaTravelAgencyErr.mch -mc_with_lts_seq -nodead -p LTSMIN ~/bin/ltsmin_v3
7 KB (959 words) - 06:53, 24 March 2022
BinProlog does not have a demo licence for Mac; hence I had to run
11 KB (1,757 words) - 09:58, 4 February 2021
swiprob -repl -init ../prob_examples/public_examples/B/Demo/ACounter.mch
10 KB (1,685 words) - 12:49, 21 March 2022