Core server of the minisats project