Finn Lidbetter

icon company RideCo icon location Kitchener, Ontario, Canada icon location Senior software engineer on the Algorithms and Optimization team at RideCo. Competitive Programming enthusiast.

Results 1 issues of Finn Lidbetter

Failing to load files from Word Automata Library

If the Main.prover class is run from a directory that is not Walnut/bin, i.e., the program is run using `java -cp /pathToWalnut/bin Main.prover` from a directory that is not Walnut/bin,...