Blackbox: Unifying sat-based and graph-based planning