library-checker-problems icon indicating copy to clipboard operation
library-checker-problems copied to clipboard

generate.pyを他のジャッジでも使えるようにする?

Open yosupo06 opened this issue 4 years ago • 6 comments

https://twitter.com/beet_aizu/status/1258373383953080321?s=19 generate.pyを他のジャッジでも使えると嬉しいのかもしれない まず需要があるのか調べるところから cc. @beet-aizu

yosupo06 avatar May 07 '20 15:05 yosupo06

合宿で使いたいです(validatorの数値チェックとかの手間が減りそうなので)

beet-aizu avatar May 08 '20 00:05 beet-aizu

なるほど、ちなみに現状のgenerate.pyだと足りない機能を教えていただけると助かります(generate.pyの利用者は増えると最終的に嬉しくなりそうなので)

yosupo06 avatar May 08 '20 01:05 yosupo06

考えてみると機能的には大体足りていそうです(リアクティブくらいか?) 任意精度を使いたい時にgen/valでもPythonを使えると便利そうです (依存も増えないし)

beet-aizu avatar May 08 '20 04:05 beet-aizu

  • gen / valに他の言語を追加: 変更も微々たるものですし、このリポジトリでは弾けばいいだけなので出来ます(別の話としてpythonのgen/valをこのリポジトリで許可するかは検討の余地がありそう)
  • リアクティブは変更量が見積もれないのでわからないですね ジャッジ部分をojに投げる方向性もありかもしれない

yosupo06 avatar May 08 '20 04:05 yosupo06

そういえばverifierを複数登録可能って需要あるのかな

yosupo06 avatar May 08 '20 07:05 yosupo06

あります

beet-aizu avatar May 08 '20 07:05 beet-aizu