CSolver(3) on Linux

The text 71c284f1ade2, as Debian 3.1 (Sarge), Debian 2.2 (Potato) shipped it. The page shows this text now.

enforces connector semantics

CSolver(3) on Linux now