- disable file filters, but all files in filelist instead
- disable file filters, but all files in filelist instead


ryppl/sat-solver,ryppl/sat-solver,ryppl/sat-solver,ryppl/sat-solver,ryppl/sat-solver