package info (click to toggle)
cryptominisat 5.11.21%2Bdfsg1-2
  • links: PTS, VCS
  • area: main
  • in suites: sid, trixie
  • size: 4,488 kB
  • sloc: cpp: 55,562; ansic: 7,786; python: 7,485; sh: 813; sql: 403; xml: 34; makefile: 22; javascript: 17

Folder: crystal

d .. (parent)
- - rwxr-xr-x 10,517 ballofcrystal.sh
- - rw-r--r-- 1,995 best_features-b93210018231ab04d2.txt
- - rw-r--r-- 962 best_features-correlation2.txt
- - rw-r--r-- 569 best_features-correlaton.txt
- - rw-r--r-- 1,591 best_features-d6e51325f8046.txt
- - rw-r--r-- 320 best_features-kissat.txt
- - rw-r--r-- 2,472 best_features-rdb0-only.txt
- - rw-r--r-- 6,075 ccg.py
- - rwxr-xr-x 12,383 check_data_quality.py
- - rwxr-xr-x 16,812 cldata_gen_pandas.py
- - rwxr-xr-x 25,855 cldata_predict.py
- - rwxr-xr-x 4,181 clean_update_data.py
- - rwxr-xr-x 13,425 clustering.py
- - rwxr-xr-x 3,341 concat_pandas.py
- - rwxr-xr-x 5,166 fill_used_clauses.py
- - rwxr-xr-x 9,554 fix_up_frat.py
- - rwxr-xr-x 920 gen_best_feats.sh
- - rwxr-xr-x 1,793 get_msqe.py
- - rw-r--r-- 28,477 helper.py
- - rwxr-xr-x 3,896 learn-kissat.sh
- - rwxr-xr-x 3,794 learn.sh
- - rw-r--r-- 7,013 ml_module.py
- - rwxr-xr-x 5,153 perc_sql_fixer.py
- - rwxr-xr-x 3,329 process_all_dats.sh
- - rwxr-xr-x 26,157 sample_data.py
- - rwxr-xr-x 1,213 setparams_ballofcrystal.sh
- - rwxr-xr-x 10,007 vardata_gen_pandas.py
- - rwxr-xr-x 21,510 vardata_predict.py