Drexel dragonThe Math Forum

The Math Forum Internet Mathematics Library


Library Home || Full Table of Contents || Library Help

Visit this site: http://www.mysvc.it/myapps/constraints/

Author:Davide Cucciniello
Description: 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.

Levels: College, Research
Languages: English
Resource Types: Educational Vendors, Topic Tools Miscellaneous
Math Topics: Logic/Foundations

[Privacy Policy] [Terms of Use]

Home || The Math Library || Quick Reference || Search || Help

© 1994- The Math Forum at NCTM. All rights reserved.