solidity/test/libsolidity/smtCheckerTestsJSON/simple.json

{
	"auxiliaryInput":
	{
		"smtlib2responses":
		{
			"0xf057b272f2ceb99a2f714cb132960babdeedfb84ff8ffb96106a58bc0c2060cb": "sat\n((|EVALEXPR_0| 0))\n"
		}
	}
}