An ILP system that integrates traditional top-down and bottom-up approaches to combine the strengths of each and eliminate the weaknesses of both. For more information, on downloading and using the system, see the Beth Manual.