The tutorial I gave on Picat at FLOPS'16 is available on Youtube: https://youtu.be/XLLxwnKtx78 https://youtu.be/dfJebzh62Jg https://youtu.be/cj1QBcHZWdk
I'd like to than Professor Kiminori Matsuzaki and his organization team for making the video. Cheers, Neng-Fa
_______________________________________________ logic-programming mailing list [email protected] http://lists.picat-lang.org/mailman/listinfo/logic-programming
_______________________________________________ Om-announce mailing list [email protected] http://openmath.org/mailman/listinfo/om-announce
