jSMTLIB is now developed under git at github as the jSMTLIB project.

The project web site is here.

Redirecting...