ส่งซอฟต์แวร์
  1. บ้าน
  2. Linux
  3. อื่นๆ
  4. buddy

buddy 2.4

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

ไลบรารีไดอะแกรมการตัดสินใจแบบไบนารีที่มี : การดําเนินงาน BDD เวกเตอร์ที่มีประสิทธิภาพสูงจํานวนมาก การจัดลําดับตัวแปรแบบไดนามิก, การเก็บขยะอัตโนมัติ อินเตอร์เฟซc++กับการอ้างอิงอัตโนมัตินับ, และอื่น ๆ อีกมากมาย

ประวัติรุ่น

  • เวอร์ชัน BuDDy%202.4 โพสต์เมื่อ 2004-07-28
    การแก้ไขและการอัปเดตหลายรายการ
  • เวอร์ชัน BuDDy 2.4 โพสต์เมื่อ 2004-07-28

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

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

  • 1-Click Duplicates Delete (Outlook) ทดลองใช้ฟรี

    ค้นหา/ลบรายการปฏิทินe_mailsและที่ติดต่อด้วยการคลิกเพียง 1 คลิก ทุกอย่างสามารถยกเลิกได้ รายการที่ติดต่อจะไม่ถูกเอาออกเพียงรายการเหล่านั้นจะถูกรวมเข้าด้วยกันโดยนําข้อมูลที่ดีที่สุดจากผู้ติดต่อแต่ละรายเข้าสู่ผู้ติดต่อรายใหญ่เพีย

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

    TurboVB เป็นเครื่องมือเสริมที่บรรจุคุณสมบัติแบบบูรณาการสําหรับ VB6 ซึ่งเป็นการปรับปรุงที่สําคัญใน IDE มันมีมากกว่า 40 add-ins ที่จะให้คุณได้รับผลผลิตที่แท้จริง ชั่วโมงที่บันทึกไว้โดยเครื่องมือ VB นี้จะเพิ่มเวลาในการพัฒนาอี

  • gwave ฟรี

    Gwave เป็นโปรแกรมดูรูปคลื่นสําหรับเอาต์พุตของวงจรอิเล็กทรอนิกส์แบบอะนาล็อกเครื่องจําลองเช่นเครื่องเทศ โดยจะแสดงข้อมูลเป็นพล็อตสองมิติ และช่วยให้สามารถเลื่อนซูมและวัดผลแบบโต้ตอบได้รูปคลื่น

  • Common Lisp bindings to GTK+ ฟรี

    CLG เป็นอินเทอร์เฟซสําหรับชุดเครื่องมือกราฟิก GTK+ สําหรับการใช้งาน CMUCL, SBCL และ CLISP ของ Common Lisp

  • Caption It ฟรี

    คําบรรยายภาพ มันเป็นแอพคําบรรยายภาพที่ดีที่สุดในตลาด Android! เครื่องมือสร้างคําบรรยายภาพนี้ช่วยให้คุณสามารถสร้างคําบรรยายภาพบนภาพถ่ายของคุณและแบ่งปันกับเพื่อนของคุณแชร์กับสิ่งต่อไปนี้:*เฟสบุ๊ค*ทวิตเตอร์*การส่งข้อคว

  • DataSetEditor ฟรี

    DataSetEditor เป็นตัวแก้ไขแบบกราฟิกสําหรับแฟ้มชุดข้อมูล XML dbUnit ถ้าโปรแกรมควบคุมฐานข้อมูลให้มา ให้นําเข้าเค้าโครงตารางจากฐานข้อมูล

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

    โปรดลองใช้รุ่นฟรีก่อนซื้อค้นหาตลาด Android สําหรับ "การเข้ารหัสรูปแบบ" สําหรับการดาวน์โหลดเวอร์ชันฟรีเบราว์เซอร์ไฟล์ขั้นสูงเป็นรุ่นฟรีรุ่นเพิ่มเติมคุณสมบัติของเบราว์เซอร์ไฟล์ขั้นสูง 1.ไม่จําเป็นต้องจํารหัสผ่านสําห

  • GibbsLDA++: A C/C++ Gibbs Sampling LDA ฟรี

    GibbsLDA++: การดําเนินการ C/C++ ของการจัดสรร Dirichlet แฝง (LDA) โดยใช้การสุ่มตัวอย่าง Gibbs สําหรับการประมาณพารามิเตอร์และการอนุมาน GibbsLDA++ นั้นรวดเร็วและออกแบบมาเพื่อวิเคราะห์โครงสร้างหัวข้อที่ซ่อนอยู่ / แฝงของการรวบรวมข

  • DICE Grader ฟรี

    DICE เป็นระบบการประเมินออนไลน์แบบแยกวิเคราะห์สําหรับหลักสูตรการเขียนโปรแกรม C และ Java ระบบจะรวบรวมและดําเนินการโปรแกรมนักเรียนกับกรณีการทดสอบที่ผู้สอนให้แล้วกําหนดเกรดตามผลลัพธ์ของโปรแกรม

  • JEvaluate ฟรี

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