Starting port to pysat docos