Schematic circuit editor for VLSI and Mixed mode circuit simulation.
Draws signalling charts, block diagrams and graphs from text input.
two experimental AI languages + zubr
Access and convert ASC, BLF, DBC, and MDF files
This is a suite of mathematical software solvers GUI
Market Research Data Processing Suite
Fast C library for relation algebra using binary decision diagrams.