2 commits

Author	SHA1	Message	Date
Leonardo de Moura	84f55bb736	fix(library/inverse): m_inv_arity was not being stored in the .olean file	2016-10-07 17:08:56 -07:00
Leonardo de Moura	9c8e9e07ae	refactor(library): injectivity ==> inverse	2016-09-07 08:16:14 -07:00

Renamed from src/library/injectivity.cpp (Browse further)