1 files changed, 1 insertions, 0 deletions
diff --git a/conf.py b/conf.py
index b07265c..833f64b 100644
--- a/conf.py
+++ b/conf.py
@@ -55,6 +55,7 @@ nbscript = 'scripts/nbscript'
 parse_kconfig = 'scripts/parse_kconfig/parse'
 write_config = 'scripts/write_config/write'
 novaboot = 'scripts/novaboot/novaboot'
+minisat = 'minisat'
 
 
 absroot = os.path.dirname(os.path.realpath(__file__))