Package ‘LogicOpt’ was removed from the CRAN repository.

Formerly available versions can be obtained from the archive.

Archived on 2018-03-05 as check problems were not corrected despite reminders.