Kangaroo with the goal of improving efficiency without losing the success rate.
Primary LanguageC++GNU General Public License v3.0GPL-3.0