jca d7d6ed1300 Update to latest git master. ...

Built with cmake, installs minisat libraries (needed for a devel/stp
update).  Discussed with jasper@ at t2k17.

2017-08-20 16:39:44 +00:00

..

patches

Update to latest git master.

2017-08-20 16:39:44 +00:00

pkg

Update to latest git master.

2017-08-20 16:39:44 +00:00

distinfo

Update to latest git master.

2017-08-20 16:39:44 +00:00

Makefile

Update to latest git master.

2017-08-20 16:39:44 +00:00