Z3-str Files

A Z3-Based String Constraint Solver

Brought to you by: zyh1121

The interactive file manager requires Javascript. Please enable it or use sftp or scp.
You may still browse the files here.

Name	Modified	Size
README	2014-12-08	125 Bytes
Z3-str_20140720.tar.bz2	2014-07-25	38.1 kB
Z3-str_20140507.tar.bz2	2014-05-08	33.0 kB
Z3-str_20140120.tar.bz2	2014-01-21	103.7 kB
Z3-str_20131003.tar.bz2	2013-11-22	99.2 kB
Totals: 5 Items		274.0 kB

We switched to git and moved the Z3-str to github @ https://github.com/z3str/Z3-str

This site only hosts previous releases.

Source: README, updated 2014-12-08

Other Useful Business Software

Gen AI apps are built with MongoDB Atlas

Build gen AI apps with an all-in-one modern database: MongoDB Atlas

MongoDB Atlas provides built-in vector search and a flexible document model so developers can build, scale, and run gen AI apps without stitching together multiple databases. From LLM integration to semantic search, Atlas simplifies your AI architecture—and it’s free to get started.

Start Free

Build Securely on Azure with Proven Frameworks

Lay a foundation for success with Tested Reference Architectures developed by Fortinet’s experts. Learn more in this white paper.

Moving to the cloud brings new challenges. How can you manage a larger attack surface while ensuring great network performance? Turn to Fortinet’s Tested Reference Architectures, blueprints for designing and securing cloud environments built by cybersecurity experts. Learn more and explore use cases in this white paper.

Download Now

Recommended Projects

Brew Competition Online Entry & Mgmt.
Please go to GitHub for the latest release. https://github.com/geoffhumphrey/brewcompetitiononlineentry/releases
gpstk
We've Moved! Please visit us on Github for the latest GPSTk developer updates and binary releases. https://github.com/SGL-UT/GPSTk
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...
PC-BASIC - a GW-BASIC emulator
PC-BASIC is a free, cross-platform interpreter for GW-BASIC, BASICA, PCjr Cartridge Basic and Tandy 1000 GWBASIC. -- This page is an archive and hosts the legacy version 1.2 of PC-BASIC only. -- For documentation and the latest releases, please see the official homepage:...
Git Extensions
Git Extensions is now hosted on GitHub ============================== Please update your bookmarks and use the links below for downloading and reporting issues. * Download latest version (Windows only): https://github.com/gitextensions/gitextensions/releases/latest * Download latest...

Z3-str Files

A Z3-Based String Constraint Solver

Get an email when there's a new version of Z3-str