What paradigms should we address in the workshop

[dvberkel]

The Smorgasbord of Paradigms is an umbrella that we use to discuss a number of programming related tools that solve problems. But there are only so many pages in a workbook so we have to choose which paradigms to include.

This discussion is the place where we present and evaluate various paradigms to include.

[dvberkel]

Linear Programming is a

method to achieve the best outcome (such as maximum profit or lowest cost) in a mathematical model whose requirements and objective are represented by linear relationships

I think is valuable paradigm that should be included in the workshop

[dvberkel]

Alloy is an

open source language and analyzer for software modeling.

It provides a way to assert assumptions about your models by finding counter example. This isn't formal verification but allows for finding minimal counter examples

[dvberkel]

Prolog is a

logic programming language that has its origins in artificial intelligence, automated theorem proving and computational linguistics.

is good introduction to logic progamming

[dvberkel]

Boolean Satisfiability Problem is

the problem of determining if there exists an interpretation that satisfies a given Boolean formula. In other words, it asks whether the variables of a given Boolean formula can be consistently replaced by the values TRUE or FALSE in such a way that the formula evaluates to TRUE.

With a proper solver it can solve a variety of problems