Drexel dragonThe Math ForumDonate to the Math Forum

The Math Forum Internet Mathematics Library

Constraints

_____________________________________
Library Home || Full Table of Contents || Suggest a Link || 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-2014 Drexel University. All rights reserved.
http://mathforum.org/
The Math Forum is a research and educational enterprise of the Goodwin College of Professional Studies.The Math Forum is a research and educational enterprise of the Drexel University School of Education.