Closed jinnaiyuu closed 9 years ago
Improve state representation. for now state is just a vector of predicates. we can improve this to exploit xor groups.
Improve state representation. for now state is just a vector of predicates. we can improve this to exploit xor groups.