Z3-str

A Z3-Based String Constraint Solver

Brought to you by: zyh1121

Add a Review

Downloads: 0 This Week

Last Update: 2014-12-08

Download

Add to Preferred Sources

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

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

Project Activity

See All Activity >

Follow Z3-str

Z3-str Web Site

Other Useful Business Software

Save Up to 91% on Cloud Compute With Spot VMs

Automatic sustained-use discounts. One free VM per month. No negotiation needed.

Run batch jobs at 60-91% off with Spot VMs. Long-running workloads get automatic discounts with sustained use.

Start Free

Rate This Project

User Reviews

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

Additional Project Details

Registered

2013-11-22

Report inappropriate content

$300 Free Credits to Build on Google Cloud

New customers can spin up VMs, build with AI, and query data at no cost.

Put your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.

Start Free

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.)
KherveFitting
Fit X-ray Photoelectron Spectroscopy (XPS) and XAS data
Git Extensions
Git Extensions is a standalone UI tool for managing git repositories.
PC-BASIC - a GW-BASIC emulator
A free, cross-platform emulator for GW-BASIC, PCjr & Tandy BASIC
DNRD
THIS PROJECT HAS MOVED: For the latest releases and to contribute please go to https://github.com/montdidier/dnrd