I have finally managed to get
boolean3 accepted to CRAN. You can find it here: boolean3 on CRAN. To summarize:
boolean3 provides a means of estimating partial-observability binary response models following boolean logic. boolean3 was developed by Jason W. Morgan under the direction of Bear Braumoeller with support from The Ohio State University's College of Social and Behavioral Sciences. The package represents a significant re-write of the original boolean implementation developed by Bear Braumoeller, Ben Goodrich, and Jacob Kline.
For a more detailed overview of the package, see my previous post.