Ettore Di Giacinto 07a154474b Consume SolverOptions in compiler

2020-02-12 11:21:55 +01:00

..

compiler

Consume SolverOptions in compiler

2020-02-12 11:21:55 +01:00

config

Add LuetSolverOptions to tweak solver parameter in Config

2020-02-12 11:21:08 +01:00

helpers

Move repository helpers under config

2020-02-12 10:20:07 +01:00

installer

Consume SolverOptions in installer

2020-02-12 11:21:30 +01:00

logger

logger: Add support for custom color text

2020-01-12 23:33:19 +01:00

package

Switch back to gophersat

2020-02-11 14:58:17 +01:00

repository

Define default values for loaded repositories

2020-01-03 19:37:51 +01:00

solver

Consume internal attempts in QLearn so resolver can be re-used

2020-02-12 09:22:10 +01:00

tree

Support logging level and spinner customization

2020-01-01 13:43:22 +01:00