Simple Solver

Es una suite de cinco instrumentos de diseño: Booleanos, Permutaciones, Números aleatorios, Simulación Lógica y Síntesis Lógica. Funciona en windows y es freeware.

Se puede encontrar en http://www.aol-soft.com/es/simple-solver.