#

static-single-assignment

Here is 1 public repository matching this topic...

shafiul / N-Puzzle-Z3

Test case generation of classic N-Puzzle game using Z3

static-analysis ssa symbolic-execution z3 sat-solver static-single-assignment n-puzzle automated-test-generation z3py

Updated Dec 14, 2015
Python

Improve this page

Add a description, image, and links to the static-single-assignment topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the static-single-assignment topic, visit your repo's landing page and select "manage topics."