We plan a server migration, which takes a few days. The exact dates will be announced soon.
Nagoya PSudo-Boolean solver