package info (click to toggle)
msolve 0.9.4-1
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid
  • size: 8,116 kB
  • sloc: ansic: 41,977; sh: 1,919; makefile: 204

Folder: examples

d .. (parent)
- - rwxr-xr-x 90 elim2_char1073741827.sh
- - rw-r--r-- 74 elim_char1073741827.ms
- - rwxr-xr-x 89 elim_char1073741827.sh
- - rw-r--r-- 15 empty_char0.ms
- - rwxr-xr-x 63 empty_char0.sh
- - rw-r--r-- 119 grevlex_char1073741827.ms
- - rwxr-xr-x 90 grevlex_char1073741827.sh
- - rwxr-xr-x 93 grevlex_lm_char1073741827.sh
- - rw-r--r-- 22 hypersurface_char0.ms
- - rwxr-xr-x 77 hypersurface_char0.sh
- - rwxr-xr-x 78 param_and_reals_char0.sh
- - rw-r--r-- 71 param_char0.ms
- - rwxr-xr-x 68 param_char0.sh
- - rw-r--r-- 75 param_char65521.ms
- - rwxr-xr-x 76 param_char65521.sh
- - rw-r--r-- 32 param_simple.ms
- - rwxr-xr-x 70 param_simple.sh
- - rw-r--r-- 53 reals_dim0.ms
- - rwxr-xr-x 61 reals_dim0.sh
- - rwxr-xr-x 76 reals_dim0_prec256.sh
- - rw-r--r-- 58 saturate_char1073741827.ms
- - rwxr-xr-x 95 saturate_char1073741827.sh
- - rw-r--r-- 53 simple_char0.ms
- - rwxr-xr-x 65 simple_char0.sh
- - rw-r--r-- 57 simple_char65521.ms
- - rwxr-xr-x 73 simple_char65521.sh