A new project using SAT4J: TASM

[Daniel Le Berre <leberre@xxxxxxxxxxxxxxxxxxx>]

Dear all,

I just noticed that another project at MIT was using SAT4J:

TASM
http://esl.mit.edu/tasm/

See
http://rotor.di.unipi.it/AsmCenter/Pisa%20Workshop%20on%20ASM%20Open%20Source%20Tools/The%20Timed%20Abstract%20State%20Machine%20(TASM)%20Language%20and%20Toolset.pdf

for details.

Have a good week end,

   Daniel