libLogic
คุณจะสามารถดาวน์โหลดได้ภายใน 5 วินาที
นอกจากนี้คุณยังสามารถคลิกที่ลิงค์ดาวน์โหลดภายนอกต่อไปนี้เพื่อเริ่มดาวน์โหลด:
http://liblogic.cvs.sourceforge.net/liblogic
เกี่ยวกับ libLogic
libLogic เป็นห้องสมุดซอฟต์แวร์สําหรับทฤษฎีบทอัตโนมัติที่พิสูจน์ด้วยความสามารถที่ไม่น่าเชื่อในการแก้ไขและมีประสิทธิภาพพิสูจน์ข้อความทั้งหมดที่สามารถพิสูจน์ได้อย่างแม่นยําในทฤษฎีเชิงตรรกะใด ๆ ของคําสั่งใด ๆ โดยไม่มีความช่วยเหลือจากมนุษย์
หลักสูตรที่เกี่ยวข้อง
-
CMS Utilities ฟรี
cmsutils มีโปรแกรมที่ช่วยให้คุณพัฒนาสร้างและแปล cms (Postnuke, Xaraya, ... ) โมดูล เขียนโดย Delphi/Kylix
-
luabridge ฟรี
Luabridge เป็นห้องสมุดที่มีน้ําหนักเบาและปราศจากการพึ่งพาสําหรับการส่งออกฟังก์ชั่น C ++ และชั้นเรียนไปยังสภาพแวดล้อมของ Lua มันใช้เมตาแกรมแม่แบบ C++ ตามมาตรฐานและเขียนด้วย Lua 5.1.2
-
svgconv ฟรี
svgconv เป็นเครื่องมือเนื้อหาในการแปลงเส้นทาง SVG เป็นรูปแบบ C ที่สามารถใช้กับ OpenVG ได้อย่างง่ายดาย
-
Mobile StrongBOX - Data Vault ทดลองใช้ฟรี
แอปพลิเคชั่นป้องกันข้อมูลที่ดีที่สุด Mobile StrongBOX ได้รับการออกแบบมาสําหรับการจัดเก็บข้อมูลส่วนตัวอย่างปลอดภัยเช่นภาพถ่ายหรือวิดีโอรหัสผ่านข้อมูลสําหรับบัญชีธนาคารเอกสารและสิ่งอื่น ๆ ที่คุณต้องการปกป้อง วัตถุประสงค์หลักข
-
embedded Finite State Machine (eFSM) ฟรี
สิ่งอํานวยความสะดวกเครื่องสถานะจํากัดแบบฝังตัว (FSM) ที่สามารถใช้ในการจําลองและควบคุมระบบปฏิกิริยาหรือสถานะ ระบบสามารถแสดงได้ตามรัฐจํานวนใดๆ การเปลี่ยนสถานะจะถูกขับเคลื่อนโดยเหตุการณ์จํานวนหนึ่ง eFSM เขียนขึ้นใน C
-
Albert ฟรี
อัลเบิร์ตเป็นเครื่องกําเนิดเอกสารสําหรับ Common Lisp เปรียบได้กับ Javadoc และ Doxygen ขณะนี้สร้างเอกสาร DocBook มันอ่านคําจํากัดความของระบบ ASDF และจัดทําเอกสารระบบ
-
SETILog for Unix ฟรี
SETILog จะบันทึกสถิติบางอย่างของSETI@homeที่เสร็จสมบูรณ์ในไฟล์ CSV ข้อความ ไฟล์นี้เป็นสิ่งจําเป็นโดย SETIWatch เพื่อติดตาม workunits ที่เสร็จสมบูรณ์
-
HappyDoc ฟรี
HappyDoc เป็นเครื่องมือในการสกัดเอกสารจากซอร์สโค้ด Python มันแตกต่างจากแอปพลิเคชันอื่น ๆ โดยข้อเท็จจริงที่ว่าใช้ต้นไม้แยกวิเคราะห์สําหรับโมดูลเพื่อให้ได้ข้อมูลและไม่นําเข้าโมดูล
-
OpenCL .Net ฟรี
โครงการนี้พยายามทําสองสิ่ง ขั้นแรกให้การผูกกับ OpenCL API ที่สะท้อนสเปค OpenCL 1.1 ให้ใกล้เคียงที่สุด ประการที่สองมันให้นามธรรมในระดับที่สูงขึ้นของ API ที่มากกว่า เหมือนเน็ต
-
PAPAS: Path Planning Algorithm Suite ฟรี
PAPAS (ชุดอัลกอริทึมการวางแผนเส้นทาง) เป็นชุดของอัลกอริทึมที่มีไว้สําหรับการวางแผนเส้นทาง มันมีอัลกอริทึมทั่วไปเช่น PRM, RRT, Wavefront Planner ฯลฯ การดําเนินการทําในภาษา C และรหัสได้รับการพัฒนาประมาณสองปี