Z3-str

A Z3-Based String Constraint Solver

Brought to you by: zyh1121

Downloads: 0 This Week

Last Update: 2014-12-08

We moved to Github. This website only hosts previous releases.

Please check https://github.com/z3str/Z3-str for the latest version.

Other Useful Business Software

Fully Managed MySQL, PostgreSQL, and SQL Server

Automatic backups, patching, replication, and failover. Focus on your app, not your database.

Cloud SQL handles your database ops end to end. Migrate from on-prem or other clouds with free migration tools.

Try Free

Rate This Project

Be the first to post a review of Z3-str!

2013-11-22

Recommended Projects

BZFlag - Multiplayer 3D Tank Game
OpenSource OpenGL Multiplayer Multiplatform Battle Zone capture the Flag. 3D first person tank game. Download the latest version at https://www.bzflag.org/downloads/ Development has moved to Github: https://github.com/BZFlag-Dev/bzflag (The SourceForge binary releases for Windows and macOS are very outdated. Please download the latest version from our website.)
DNRD
THIS PROJECT HAS MOVED: For the latest releases and to contribute please go to https://github.com/montdidier/dnrd
Git Extensions
Git Extensions is a standalone UI tool for managing git repositories.
d3q
PROJECT DEVELOPEMENT IS MOVING TO GITHUB! New website: https://anharmonic.github.io/ Please get the latest version of the code from github repository: https://github.com/paulatz/d3q
PC-BASIC - a GW-BASIC emulator
A free, cross-platform emulator for GW-BASIC, PCjr & Tandy BASIC