Ettore Di Giacinto fe14d56afe Massive UX rewrite ... - Ditch multiple libraries for progressbar, spinner, colors and replace with pterm - Detect when running on terminal and disable automatically spinner - Add support for multiple progress bars - Huge rewrite of the configuration part. No more crazy stuff with viper CLI commands now correctly overrides default config file as expected - Limit banner to be displayed on relevant parts Fixes #211 Fixes #105 Fixes #247 Fixes #233		2021-10-21 23:58:00 +02:00
..
benchmark_test.go	Fixup benchmark tests	2021-10-10 19:07:46 +02:00
decoder_test.go	Introduce install --relaxed	2021-10-10 00:27:58 +02:00
decoder.go	Make sure we do compute the best fit	2021-10-10 19:04:55 +02:00
resolver_test.go	Give explaination when formulas are unsat	2021-08-07 14:46:05 +02:00
resolver.go	Give explaination when formulas are unsat	2021-08-07 14:46:05 +02:00
solver_suite_test.go	Massive UX rewrite	2021-10-21 23:58:00 +02:00
solver_test.go	Make sure we do compute the best fit	2021-10-10 19:04:55 +02:00
solver.go	Make sure we do compute the best fit	2021-10-10 19:04:55 +02:00