feat:specmicp:workinprogress add a "smart solver" for specmicp
535d95297fcc
Actions

Authored by georget on Feb 29 2016, 15:22.

Description

feat:specmicp:workinprogress add a "smart solver" for specmicp

TODO: tests

Committed

georget

Feb 29 2016, 15:22

Parents

Branches

Unknown

Tags

Unknown

				Path
	M			src/specmicp/problem_solver/CMakeLists.txt
	A			src/specmicp/problem_solver/smart_solver.cpp
	P			src/specmicp/problem_solver/smart_solver.hpp Copied from src/reactmicp/io/configuration_unsaturated.hpp