GitHub - shafiul/N-Puzzle-Z3: Test case generation of classic N-Puzzle game using Z3 · GitHub

Name		Name	Last commit message	Last commit date
Latest commit History 31 Commits
final		final
report		report
.gitignore		.gitignore
HW4ProjectDescription_Shafiul.pdf		HW4ProjectDescription_Shafiul.pdf
helper.py		helper.py
lottery.c		lottery.c
npuzzle.py		npuzzle.py
quicksort.cpp		quicksort.cpp
quicksort_sa.py		quicksort_sa.py
stack_sa.py		stack_sa.py
static_analysis.py		static_analysis.py
test.py		test.py

About

Test case generation of classic N-Puzzle game using Z3

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

1 star

1 watching

Report repository

Releases

Packages

Contributors

Languages