Demo application of a pseudo boolean generating machine using Ant Colony Optimization