โปรแกรมตาม br-bmc.sf.net

การดําเนินการตามอัลกอริทึมการแก้ไขความเชื่อโดยใช้การตรวจสอบรูปแบบที่ผูกไว้สําหรับ ACTL