ส่งซอฟต์แวร์
  1. บ้าน
  2. Linux
  3. อื่นๆ
  4. bddbddb: BDD-Based Deductive Database

bddbddb: BDD-Based Deductive Database

ใบ อนุญาต: ฟรี ‎ขนาดแฟ้ม: N/A
‎คะแนนจากผู้ใช้: 5.0/5 - ‎1 ‎โหวต
ดาวน์โหลด

ฐานข้อมูลการหักลดหย่อนตาม BDD ซึ่งเป็นการดําเนินการของ Datalog ที่ใช้ไดอะแกรมการตัดสินใจแบบไบนารีเป็นโครงสร้างข้อมูลพื้นฐาน สิ่งนี้ช่วยให้สามารถแสดงถึงความสัมพันธ์ขนาดเอ็กซ์โพเนนเชียลได้อย่างมีประสิทธิภาพ

ประวัติรุ่น

  • เวอร์ชัน N/A โพสต์เมื่อ 2011-08-06
    การแก้ไขและการอัปเดตหลายรายการ
  • เวอร์ชัน N/A โพสต์เมื่อ 2011-08-06

รายละเอียดหลักสูตร

หลักสูตรที่เกี่ยวข้อง

  • Proxy Pal For Networks ฟรี

    PPFN นอกจากนี้ยังเป็นเครื่องมือที่จะถูกซ่อนจากบันทึกเซิร์ฟเวอร์ใด ๆ นักพัฒนาเหล่านี้รู้ว่าพวกเขาต้องทําอย่างไร? หากคุณดาวน์โหลดแพ็คเกจที่ดีที่สุดนี้คุณจะสามารถเพลิดเพลินกับเว็บที่รู้ว่าคุณจะปลอดภัย ดังนั้นปลอดภัยเรียนรู้ที่จะ

  • XBMC / Boxee Remote ฟรี

    รีโมทคอนโทรลสําหรับ XBMC / Boxeeโปรดถอนการติดตั้ง v1.0!!!v3.1*โปรไฟล์สนับสนุนในการตั้งค่าv2.2*แก้ไขข้อบกพร่องเล็กน้อยv2.1* แก้ไขข้อบกพร่องเล็กน้อยเพื่อให้ทํางานร่วมกับ Windows XBMCv2.0* ไอคอนที่ใหญ่ขึ้น* ใ

  • jDTAUS ฟรี

    การใช้ Java ของรูปแบบไฟล์ DTAUS เยอรมัน รองรับการอ่านเพิ่มแก้ไขลบการดําเนินการและบันทึกส่วนขยาย แอปพลิเคชัน GUI พร้อมให้แสดงให้เห็นถึงคุณสมบัติที่มีอยู่ทั้งหมด ดูภาพหน้าจอ

  • Alligator Snap ทดลองใช้ฟรี

    สแนปเว็บเพจของคุณเองใน 3 ขั้นตอนง่ายๆ คุณไม่จําเป็นต้องมีประสบการณ์มาก่อน - Alligator Snap มาพร้อมกับเทมเพลตเว็บที่ออกแบบไว้ล่วงหน้าและคุณสมบัติที่ยอดเยี่ยมมากมาย แม่แบบเพิ่มเติมสามารถดาวน์โหลดและติดตั้งได้ฟรีจากภายในตัวโปรแก

  • Mayur Linux ฟรี

    ระบบปฏิบัติการ Mayur Linux ขึ้นอยู่กับเคอร์เนล LinuxPAE64 ซึ่งช่วยให้เครื่องไบนารี x86-64 ทํางานบนระบบปฏิบัติการ 32 บิตหากโปรเซสเซอร์เข้ากันได้กับ x86-64

  • RIDGID Digital Bubble Level ทดลองใช้ฟรี

    ระดับฟอง® RIDGID มีสามขวดสําหรับลูกดิ่งระดับและ 45 ° miter มีคุณสมบัติเสียงเสริมที่ช่วยให้คุณสามารถกําหนดผลลัพธ์ของคุณสําหรับสถานการณ์เมื่อคุณไม่สามารถดูหน้าจอได้ จอแสดงผลยังแสดงการวัดที่แน่นอนที่กําลังรายงานโดยเซ็นเซอร์ แ

  • CNC GCODE Coordinate Transposition Tool ฟรี

    เครื่องมือ Python 3.1 นี้จัดการระบบพิกัดของ CNC GCODE สําหรับการตัดเฉือนหรือแกะสลัก มันสามารถพลิก X, Y หรือ Z พิกัดกระจก X, Y หรือ Z พลิกหรือกระจกพิกัด XY ทั้งสองหรือแทรกการเคลื่อนไหว Z ลงในไฟล์ GCODE โดยไม่ต้องใช้

  • Cell Messaging Layer ฟรี

    เลเยอร์การส่งข้อความของเซลล์เป็นไลบรารีการสื่อสารที่เหมือน MPI ที่รวดเร็วมากสําหรับคลัสเตอร์ของโปรเซสเซอร์ Cell Broadband Engine ด้วยองค์ประกอบการประมวลผลแบบเชื่อมโยงกันของเซลล์ (SPE) สามารถสื่อสารโดยตรงกับ SPE อื่น ๆ แม้ในเค

  • cccl ฟรี

    cccl เป็นกระดาษห่อรอบ cl ของ Microsoft Visual C++.exeและ.exe มันแปลงพารามิเตอร์บรรทัดคําสั่ง Unix คอมไพเลอร์เป็นพารามิเตอร์ที่เทียบเท่าสําหรับ cl และ link

  • C/C++ Program Perfometer ฟรี

    โปรแกรมช่วยให้ได้รับประสิทธิภาพของโปรแกรม C / C ++ และชิ้นส่วนของรหัสแยกต่างหากสําหรับตัวชี้วัดใด ๆ (เช่นเวลาหน่วยความจําตัวชี้วัดที่กําหนดโดยผู้ใช้ ฯลฯ ) ผลลัพธ์ของการประเมินจะแสดงอยู่ในรายงานโดยละเอียด/สรุป รายละเอียด