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

99.99% Uptime for MySQL and PostgreSQL Databases

Sub-second maintenance. 2x read/write performance. Built-in vector search for AI apps.

Cloud SQL Enterprise Plus delivers near-zero downtime with 35 days of point-in-time recovery. Supports MySQL, PostgreSQL, and SQL Server.

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