Initial commit

зеркало из https://github.com/microsoft/mcBV.git
2016-06-08 05:28:26 -07:00 · 2016-06-08 05:28:26 -07:00 · 0091854038
--- a/README.md
+++ b/README.md
@ -0,0 +1,2 @@
 # mcBV
 A satisfiability solver for (existential) bit-vector formulas based on the mcSAT framework.
		`@ -0,0 +1,2 @@`
							`# mcBV`
							`A satisfiability solver for (existential) bit-vector formulas based on the mcSAT framework.`