changes

多核环境下运行了可满足性分析的工具软件

2007/04/10 - MiraXT V1.1 released:
             - Output behavior "SAT Competition" compatible.
             - Data type "unsigned int" instead of "int" used 
               to store the literal activities.

2007/04/02 - MiraXT V1.0 released.