KvanTTT

Kropki (GM[40]), format of RU (=rules) field, PROPOSAL

Archived copy of http://eidokropki.reaktywni.pl/sgf-for-kropki-rules2.html (Wayback Machine capture of 28 Nov 2023: https://web.archive.org/web/20231128154958/http://eidokropki.reaktywni.pl/sgf-for-kropki-rules2.html)

October 8, 2010: Revised version, after a talk with Vasya. Old version here.

I suggest that we use the following format for

KvanTTT

;   S E N D
;   M O R E
; M O N E Y

; Обявление уникальных букв

(declare-const S Int)
(declare-const E Int)
(declare-const N Int)
(declare-const D Int)

KvanTTT

# Generated from /tmp/Python3Runner-ForkJoinPool-1-worker-7-1661867391485/P.g4 by ANTLR 4.10.2-SNAPSHOT
# encoding: utf-8
from antlr4 import *
from io import StringIO
import sys
if sys.version_info[1] > 5:
	from typing import TextIO
else:
	from typing.io import TextIO

KvanTTT

from dis import dis
import sys
import timeit

warm_up_count = 4
iteration_count = 256

class C:
    C0=0
    C1=1

KvanTTT

lexer grammar L;

T_000000: 'T_000000______________________________________________________________________';
T_000001: 'T_000001______________________________________________________________________';
T_000002: 'T_000002______________________________________________________________________';
T_000003: 'T_000003______________________________________________________________________';
T_000004: 'T_000004______________________________________________________________________';
T_000005: 'T_000005______________________________________________________________________';
T_000006: 'T_000006______________________________________________________________________';
T_000007: 'T_000007______________________________________________________________________';

KvanTTT

// Generated from C:\Users\User\AppData\Local\Temp\BaseJavaTest-main-1643656434572\L.g4 by ANTLR 4.9.3
import org.antlr.v4.runtime.Lexer;
import org.antlr.v4.runtime.CharStream;
import org.antlr.v4.runtime.Token;
import org.antlr.v4.runtime.TokenStream;
import org.antlr.v4.runtime.*;
import org.antlr.v4.runtime.atn.*;
import org.antlr.v4.runtime.dfa.DFA;
import org.antlr.v4.runtime.misc.*;

KvanTTT

// Generated from C:\Users\User\AppData\Local\Temp\BaseCppTest-main-1643540272050\L.g4 by ANTLR 4.9.3


#include "L.h"


using namespace antlr4;

KvanTTT

//------------------------------------------------------------------------------
// <auto-generated>
//     This code was generated by a tool.
//     ANTLR Version: 4.9.3
//
//     Changes to this file may cause incorrect behavior and will be lost if
//     the code is regenerated.
// </auto-generated>
//------------------------------------------------------------------------------

KvanTTT

;   R E SH I
;   E S L  I
; S I L E  N

; Обявление уникальных букв

(declare-const R Int)
(declare-const E Int)
(declare-const SH Int)
(declare-const I Int)

KvanTTT

using System;

class Program
{
    static void Main()
    {
        int validTimeCount = 0;

        for (int hour = 0; hour < 24; hour++)
        {