package info (click to toggle)
msolve 0.9.5-1
  • links: PTS, VCS
  • area: main
  • in suites: sid
  • size: 8,320 kB
  • sloc: ansic: 41,925; sh: 1,373; makefile: 205

Folder: examples

d .. (parent)
- - rwxr-xr-x 98 elim2_char1073741827.sh
- - rw-r--r-- 74 elim_char1073741827.ms
- - rwxr-xr-x 97 elim_char1073741827.sh
- - rw-r--r-- 15 empty_char0.ms
- - rwxr-xr-x 71 empty_char0.sh
- - rw-r--r-- 119 grevlex_char1073741827.ms
- - rwxr-xr-x 98 grevlex_char1073741827.sh
- - rwxr-xr-x 101 grevlex_lm_char1073741827.sh
- - rw-r--r-- 22 hypersurface_char0.ms
- - rwxr-xr-x 85 hypersurface_char0.sh
- - rwxr-xr-x 86 param_and_reals_char0.sh
- - rw-r--r-- 71 param_char0.ms
- - rwxr-xr-x 76 param_char0.sh
- - rw-r--r-- 75 param_char65521.ms
- - rwxr-xr-x 84 param_char65521.sh
- - rw-r--r-- 32 param_simple.ms
- - rwxr-xr-x 78 param_simple.sh
- - rw-r--r-- 53 reals_dim0.ms
- - rwxr-xr-x 69 reals_dim0.sh
- - rwxr-xr-x 84 reals_dim0_prec256.sh
- - rw-r--r-- 58 saturate_char1073741827.ms
- - rwxr-xr-x 103 saturate_char1073741827.sh
- - rw-r--r-- 53 simple_char0.ms
- - rwxr-xr-x 73 simple_char0.sh
- - rw-r--r-- 57 simple_char65521.ms
- - rwxr-xr-x 81 simple_char65521.sh