Closed achenakk closed 2 years ago
Running GOV4Function function is very verbose, I find it hard to to track progress. I just greb -v " DEBUG " to finish task.
maybe switching to log4j will make handling logs more easier))
... 00:21:30.155 [pool-1-thread-4] DEBUG it.unimi.dsi.sux4j.mph.solve.Modulo2System - Active variables: 206 (13%) 00:21:30.156 [pool-1-thread-4] DEBUG it.unimi.dsi.sux4j.mph.solve.Linear4SystemSolver - System is unsolvable ...
Please configure your SLF4J backend.
Running GOV4Function function is very verbose, I find it hard to to track progress. I just greb -v " DEBUG " to finish task.
maybe switching to log4j will make handling logs more easier))