Constraints 1.4

Software ID: 333043

Constraints 1.4 Description

The Constraints application is a SAT based propositional (boolean) logic engine defined by a list of models, where a model includes a list of constraints (a Knowledge Base) each defined by a propositional (boolean) formula (e.g. 'x and (y or not z)') including a set of propositional (boolean) variables ('x','y','z') and operators ('and','or','not').

To each model corresponds a propositional formula equal to the logical 'and' of propositional formulas of currently enabled constraints, and based on a selected model from a list of models that you can add, modify or delete, the application user interface contains three main screen tabs (constraints,variables,solutions) to:

- add, modify, delete, enable or disable constraints
- assign values (true,false) to boolean variables (any alphanumeric string including '.' and '_' characters) used by the model
- for satisfiable models, find one by one all possible assignments to not assigned boolean variables as solutions of the model, such that the model (i.e. its corresponding propositional formula) is always true regardless remaining variables assignments.

Include advanced features such as:

- support of multiple syntax for boolean operators of propositional formulas (not,and,or,implies,equivalent,if,unless,nor,nand): '(x and (y or not z)' is equivalent to 'x*(y+-z)'), or for comment capabilities ('#','//','{}')
- real time evalution of constraints and models status ('undefined','unsatisfiable','satisfiable','valid'), where a propositional formula is valid when is true regardless assignments to its not assigned variables
- conversion to normal forms (e.g. NNF or CNF) of propositional formulas associated with each model or constraint; e.g. the Disjunctive Normal Form of propositional formula 'x&(y|~z) is 'x&y|x&~z'
- evaluation of the propositional formula corresponding to all possible SAT solutions with variables assignments to get valid (true) propositional formulas for constraints or models
- export to email or clipboard of:

* models and constraints definition
* variable assignments
* model solutions
* normal forms of constraints and models

- import from web from a configurable set of URLs of:

* models definition (a simple text containing an optional model description and a list of constraint names)
* constraints definition (a simple text containing an optional constraint description and its propositional formula)
* mailing list for export to email (including a list of email address or http URL of text files containing mailing list, with comment capability using '#')
* evaluation of (true,false) value of variables

- percistence
- Feature Models (FM) and Propositional Logic Truth Maintenance System (LTMS) capabilities, such as find the smallest set of 'requires' and 'excludes' rules based on selected 'features' (boolean variables, true iff the feature is selected) and propositional formula related to logical constraints of these features; e.g. if from model constraints you get four features 'a','b','c','d' and four product lines '(a,c)', '(d)', '(b)' and '(a,b,d)' (from Disjunctive Normal Form) with 'Requires' functionality you get rules (represented as propositional formulas) such as 'the selection of c feature requires feature a and excludes features b and d' ('c->a&~b&~d') or 'the selection of a and b features requires feature d' ('a&b->d')
Changes: - export as TXT of propositional formulas to email as attachment file
- fixed a bug on propositional variable assignment

NCTE 2013
Eloqua Experience Europe 2013
Opinio Mobile Interviewer
Film Louisiana by Oz
Lean Daily
Flagstaff Real Estate
Realty 2013
CHT ConCall
Mudbrook Golf Center - Huron
The Mudbrook Golf Center App is an easy-to-use, free mobile app created to stay informed and connected with us every day through a variety of great features. This fantastic interactive app provides you with the following innovative features: ...
Download Now!
LORS-POS MonitorLORS-POS Monitor is a kitchen monitor, a part of LORS-POS, a point of sale system register, using ipad.If you have a LORS-POS monitor, you can check order without a kitchen printer.When you want to use it, need to sign a contract ...
Download Now!
BORGA APP la prima applicazione per Ipad e Iphone dedicata a tutti i professionisti della carpenteria in legno.Il carpentiere o il progettista, presso lo studio di progettazione o direttamente in cantiere possono sfogliare tutte le 206 pagine ...
Download Now!
Parker Mobile Product Selector
Parker Hannifin is the world's leading diversified manufacturer of motion and control technologies and systems, providing precision-engineered solutions for a wide variety of mobile, industrial, maritime and aerospace markets. Parker is offering ...
Download Now!
AVer iViewer
The Aver iViewer provides users remote access to monitor videos from AVer DVRs/NVRs or IP cameras (network cameras) via an iPhone or iPad. Users can remotely view live videos anytime and anywhere on an iPhone or iPad(Android phone or Pad), and ...
Download Now!
QuotesOnTap - multiple company life insurance and term insurance comparisons
Are you shopping for life insurance or have you been solicited to purchase life insurance? How much should it cost? Are you sure that the insurance agent is really shopping the market? What options are available to you and how do these compare in ...
Download Now!
RadBuilder for Android
Create your own apps for your presentations, documents, product introduction, advertisements and database management without writing any code. It requires no programming knowledge.
Download Now!
Asset Check
Making sure youre Better Equipped to manage your equipment on the go, the HSS Outsource app makes it easy to view information about the kit youve got on hire. Designed exclusively for users registered to the HSS Outsource service, this new app ...
Download Now!
DATABASE DESIGN APP. You can design DB, Table and Column with logical name and physical name. Changes: Corresponds to iPhone5(4 inch).
Download Now!
IBM Versicherungskongress 2013
Laden Sie die IBM Versicherungskongress 2013 mobile Event App herunter und profitieren Sie von tagesaktuellen News und zahlreichen Features welche die Kommunikation zwischen Teilnehmern und Organisatoren vereinfacht. Diese App erleichtert den ...
Download Now!
General Dynamics Careers
The best people. The most advanced technologies. Welcome to the incredible world of General Dynamics C4 Systems. We help bring soldiers home to their families. We create the technologies that help rescue mariners in distress. Were the driving ...
Download Now!
Mobile Sales Assistant - Catalyst
he Mobile Sales Assistant application works in conjunction with Epicors Falcon & Catalyst software. It enables sales staff to obtain real time inventory and customer information on the go, as well as providing the ability to perform remote credit ...
Download Now!
Size: 2.5 MB | License: Shareware | Price: US$27 | Category: Business
PG Explorer PGExplorer (Postgres Explorer) is a full-featured GUI MS windows-based development tool for the PostgreSQL Database Server. It features a tree view of your databases, tables, views, functions. sequences, triggers and constraints. You can extract SQL statements for your database objects, modify the SQL and execute it. It includes a few samples, and features comprehensive online help (including PostgreSQL manuals) and wizards. If you are using...

OS: Windows
Software Terms: Postgres, Postgresql, Tool, Sql, Samples, Gui
Size: 2.7 MB | License: Shareware | Price: US$160 | Category: Business
DBDocumentor DBDocumentor produces programmers reference documentation on SQL Server databases. The output reference documentation covers functions, indices, procedures, tables (including columns and constraints), views and user defined types. Procedures calling and being called are linked, as are indices and their tables. The SQL schema can be included, and optionally colorized. Alternate output options include XML SQLDocumentation.

OS: Windows
Software Terms: Sql Documentation, Sql Reports, Documentation, Reports, Sql, Table, Index, Stored Procedure, Constraint
Size: 530.0 KB | License: Demo | Price: US$20 | Category: Business
SyncDB SyncDB is an easy solution to synchronize schema of mySQL databases. When you alter database, add or change columns, indices or constraints, sync is done in an quick and painless process and enables you to change the structure of your older database to its newest version while preserving its data. 1. Select source database or load an SQL script. 2. Select target database (you can also create it using builtin script editor) 3. Press Synchronize

OS: Windows
Software Terms: Mysql, Database, Synchronization, Schema, Ddl, Versions, Versioning
Size: 987.0 KB | License: Shareware | Price: US$295 | Category: Business
GIPALS - Linear Programming Environment Linear programming environment to solve constrained optimization problems arising in various industrial, financial and educational areas. Optimization problems are stated as linear programs with UNLIMITED number of variables and constraints. GIPALS is linear programming environment that incorporates large-scale linear programs solver and easy, intuitive graphical user interface to direct specify or import and solve any type of constrained optimization problems arising in various...

OS: Windows
Software Terms: Linear Programming, Linear Program, Constrained Optimization, Optimization, Large-scale, Matrix, Sparse Matrix, Primal Dual, Interior Point, Predictor-corrector
Size: 2.2 MB | License: Shareware | Price: US$45 | Category: Business
Migrate MySQL Database MySQL database converter tool converts MySQL to MSSQL with integrity constraints MySQL to MSSQL database converter utility systematically and easily converts MySQL database records to MSSQL database. Professional MySQL to MSSQL converter software supports all attributes, schema, table, row, column, primary key, integrity...

OS: Windows
Software Terms: Mysql, Converter, Tool, Mssql, Database, Server, Migration, Convert, Software, Tables