Commit graph

5 commits

Author SHA1 Message Date
Leonardo de Moura
579f643d1d refactor(library): move kabstract to tactic folder 2016-07-18 09:57:02 -04:00
Leonardo de Moura
0d16d82120 chore(library/kabstract): avoid code duplication 2016-07-17 15:13:05 -04:00
Leonardo de Moura
d787870093 feat(library/kabstract): small optimization 2016-07-17 15:08:53 -04:00
Leonardo de Moura
7272cab929 feat(library/kabstract): add kabstract with occs 2016-07-17 14:32:21 -04:00
Leonardo de Moura
0213f1970f feat(library): add kabstract 2016-07-16 15:41:31 -04:00