Library Home || Full Table of Contents || Suggest a Link || Library Help
|This SAT-based propositional (Boolean) logic engine for the iPhone lets you add, modify, delete, enable or disable constraints; assign values (true, false) to Boolean variables; and find all possible assignments to unassigned Boolean variables as solutions of the model that make it always true regardless remaining variables assignments. The Constraints app supports multiple syntax for Boolean operators of propositional formulas, real time evaluation of constraints and models status (undefined, unsatisfiable, satisfiable,valid), conversion to normal forms (e.g., NNF or CNF) of propositional formulas associated with each model or constraint, and evaluation of the propositional formula corresponding to all possible SAT solutions with variables assignments to get valid (true) propositional formulas for constraints or models. Available for purchase directly from Apple's iTunes store.|
|Resource Types:||Educational Vendors, Topic Tools Miscellaneous|
© 1994- The Math Forum at NCTM. All rights reserved.