Logic circuit simulator for linux

[Francesc0]

I'm looking for a linux program like dsch2
(http://intrage.insa-tlse.fr/~etienne/Microwind/), this is a logic circuit
simulator. It would be nice it is compatible with dsch2 sch file
format.

Exists a program like this?

Thanks.
Francesco.