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: aws

d .. (parent)
d d rwxr-xr-x 4,096 config
- - rw-r--r-- 235 README.markdown
- - rw-r--r-- 6,846 RequestSpotClient.py
- - rwxr-xr-x 889 build_Maple_LCM_Dist.sh
- - rwxr-xr-x 977 build_cmsat_satcomp16.sh
- - rwxr-xr-x 1,158 build_cryptominisat.sh
- - rwxr-xr-x 866 build_drat-trim2.sh
- - rwxr-xr-x 997 build_glucose2016.sh
- - rwxr-xr-x 1,094 build_lingeling_ayv.sh
- - rwxr-xr-x 1,024 build_lingeling_bbc.sh
- - rwxr-xr-x 1,032 build_maplecomsps_drup.sh
- - rwxr-xr-x 1,275 build_swdia5by.sh
- - rwxr-xr-x 1,078 build_swdia5by_old.sh
- - rwxr-xr-x 28,265 client.py
- - rw-r--r-- 2,742 common_aws.py
- - rw-r--r-- 1,149 ec2-spot-instance-test.cfg
- - rw-r--r-- 1,350 ec2-spot-instance.cfg
- - rwxr-xr-x 4,405 launch_server.py
- - rwxr-xr-x 1,229 pack_cnf_lists.py
- - rwxr-xr-x 1,147 pre-server.py
- - rw-r--r-- 33,603 satcomp091113_updated
- - rwxr-xr-x 13,941 server.py
- - rwxr-xr-x 7,280 server_option_parser.py