Программы misgol.sf.net

Мисгол - это симулятор логики. Поддерживает основные элементы и пользовательские модули. Также он предлагает регулируемую временную базу для моделирования логических схем. Экспорт в различные форматы (LaTeX, PNG, JPG).