Where can I find the list of logics predefined in LoTREC?

The list of predefined logics is embedded in LoTREC. Once you run LoTREC, online or after downloading it, you may open the file of any of the predefined logics and play with it.

If it is just to know if a specific logic had been or has not yet been implemented, you may find the most recent complete list here.


This page will be updated regularly according to the feedbacks of users sent through the Contact form