Temporal Inference Engine Code
A real time inference engine for temporal logical specifications
Brought to you by:
giotti68
Menu
▾
▴
[338c01]: / setup Maximize Restore History
18 lines (16 with data), 356 Bytes
cd sources/ make all mv tinx /usr/bin/ mv tinx_mt /usr/bin/ mv tinx_dt /usr/bin/ mv tinx_zt /usr/bin/ mv ting /usr/bin/ mv gtinxsh /usr/bin/ mv extserv /usr/bin/ cd ../desktop/ cp tinx.desktop /usr/share/applications/ cp tinx.png /usr/share/icons/hicolor/512x512/apps/ gtk-update-icon-cache -f -t /usr/share/icons/hicolor/ cd ../examples/ make all cd ../
