Revision 7714: /branches/alga-sb-optimization/prototype

• ..
• README
• doctesthttp.py
• ftests/
• testz3sb.py
• z3schoolbell.py