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

Earn up to 16% annual interest with Nexo.

Access competitive interest rates on your digital assets.

Generate interest, borrow against your crypto, and trade a range of cryptocurrencies — all in one platform. Geographic restrictions, eligibility, and terms apply.

Get started with Nexo.

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

Recommended Projects

STR miner
STR miner(or SSRdigger) is a SSR searching software which supports both perfect and imperfect SSR search with specified length, match percentage and repeat threshold. With a GUI interface, fasta and MS excel format output, STR miner is user-friendly.
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 macOS are very outdated. Please download the latest version from our website.)
KherveFitting
Fit X-ray Photoelectron Spectroscopy (XPS) and XAS data
str
The str string lib implements a string as a list of chunks which describe the usage of memory buffers. Whatever has to be done with a string, the information about the usage of the memory buffers change - but never the buffers itself.