comparison src/sat.tac @ 393:393b35aa86d2

jp: added --connect option
author Goffi <goffi@goffi.org>
date Sun, 02 Oct 2011 00:29:04 +0200
parents 0a8eb0461f31
children cf005701624b
comparison
equal deleted inserted replaced
392:20f11097d99b 393:393b35aa86d2