GitHub repository: ytakefuji/coin-weighing
Primary language: Perl
Created: 2019-02-09T04:47:57Z
Description: coin-weighing puzzles using pseudorandom number in Python, Z3, and perl.