Packages
basics  
javatools  
sofie.maxsat  
sofie.parsing