Satisfying compiler