Showing page 1 of 1.

• 
  Flipper

  Flipper is a program that does randomised local search for satisfiability of 3 variable prenex sentences in the pure predicate calculus. It does so by proving satisfiability relative to given decidable theories.

  1 weekly downloads