package info (click to toggle)
cryptominisat 5.11.4%2Bdfsg1-2
  • links: PTS, VCS
  • area: main
  • in suites: bookworm
  • size: 4,432 kB
  • sloc: cpp: 55,148; ansic: 9,642; python: 8,899; sh: 1,336; php: 477; sql: 403; javascript: 173; xml: 34; makefile: 15

Folder: crystal

d .. (parent)
- - rwxr-xr-x 10,504 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,417 check_data_quality.py
- - rwxr-xr-x 16,930 cldata_gen_pandas.py
- - rwxr-xr-x 25,855 cldata_predict.py
- - rwxr-xr-x 4,211 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,578 fix_up_frat.py
- - rwxr-xr-x 920 gen_best_feats.sh
- - rwxr-xr-x 1,793 get_msqe.py
- - rw-r--r-- 28,416 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 2,957 sat_unsat.sh
- - 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