Skip to content
Back to pull request #30

change option -neg-conj <n> to -conj, and fix Lpprint.print_dk_cst #16

Sign in to view logs

change option -neg-conj <n> to -conj, and fix Lpprint.print_dk_cst

change option -neg-conj <n> to -conj, and fix Lpprint.print_dk_cst #16

This job succeeded