Best Way to Get Help

SMT-RAT says the best way to get help with its software is by using its mailing lists.

Other Ways Of Getting Help

Here are some other places where you can look for information about this project.

Project Mailing Lists