flint library, with multithreading enabled