Stars
3
stars
written in C
Clear filter
clumsy makes your network condition on Windows significantly worse, but in a controlled and interactive manner.
An automated theorem prover for the DCEC*, the Deontic Cognitive Event Calculus designed at RAIR Labs at RPI.