This is a suite of mathematical software solvers GUI
This is a suite of mathematical software solvers interface on DLV and other command-line solvers. It helps researchers and students to better comprehend their declarative definitions published on papers. The user can have links to the related papers and to the software of the corresponding definitions.
AI simulation of human life and behavior, based on LINUX architecture.
Light console to control a remote system through serial line, telnet... Has non-blocking scroll lock, timestamp, command edit/recall, command fifo, log viewer (unlimited size), search back/forward, occurence count, easy copy/print any part of logfile