GitHub - stp/crashes: Examples that crash the solver · GitHub

This repository was archived by the owner on Aug 2, 2026. It is now read-only.

Name		Name	Last commit message	Last commit date
Latest commit History 2 Commits
0001.crash		0001.crash
0002.crash		0002.crash
0003.crash		0003.crash
0004.crash		0004.crash
0005.crash		0005.crash
0006.crash		0006.crash
0007.crash		0007.crash
0008.crash		0008.crash
0009.crash		0009.crash
0010.crash		0010.crash
0011.crash		0011.crash
0012.crash		0012.crash
0013.crash		0013.crash
0014.crash		0014.crash
0015.crash		0015.crash
0016.crash		0016.crash
0017.crash		0017.crash
0018.crash		0018.crash
0019.crash		0019.crash
0020.crash		0020.crash
0021.crash		0021.crash
0022.crash		0022.crash
0023.crash		0023.crash
0024.crash		0024.crash
0025.crash		0025.crash
0026.crash		0026.crash
0027.crash		0027.crash
0028.crash		0028.crash
0029.crash		0029.crash
0030.crash		0030.crash
crash.cpp		crash.cpp

About

Examples that crash the solver

Custom properties

2 stars

5 watching

Report repository

Releases

Packages

Contributors

Languages