solver

  1. M

    pkg SAT solver issues

    I recently upgraded this machine to 10.2-RELEASE, and did a pkg upgrade. $ pkg info pkg pkg-1.5.6 Name : pkg Version : 1.5.6 Installed on : Sat Sep 19 04:50:32 IST 2015 Origin : ports-mgmt/pkg Architecture : freebsd:10:x86:64 Prefix : /usr/local Categories : ports-mgmt Licenses ...
Back
Top