Gửi phần mềm
  1. Nhà
  2. Windows
  3. Khác
  4. libLogic
  5. Download

libLogic

Giấy phép: Miễn phí ‎Kích cỡ tệp: N/A
‎Xếp hạng người dùng: 3.0/5 - ‎1 ‎Phiếu

Về libLogic

libLogic là một thư viện phần mềm cho định lý tự động chứng minh với khả năng tin-to-be-unequalled để chứng minh một cách chính xác và hiệu quả tất cả các báo cáo chứng minh trong bất kỳ lý thuyết hợp lý của bất kỳ thứ tự, không có sự trợ giúp của con người.

Các chương trình liên quan

  • CMS Utilities Miễn phí

    cmsutils cung cấp các chương trình giúp bạn phát triển, tạo và dịch cms (Postnuke, Xaraya, ...) mô-đun. Viết bằng Delphi/Kylix

  • luabridge Miễn phí

    Luabridge là một thư viện nhẹ, không phụ thuộc để xuất khẩu các chức năng và lớp học C++ sang môi trường Lua. Nó sử dụng tiêu chuẩn tuân thủ C ++ mẫu metaprogramming và được viết chống lại Lua 5.1.2.

  • svgconv Miễn phí

    svgconv là một công cụ nội dung để chuyển đổi đường dẫn SVG thành định dạng C có thể dễ dàng sử dụng với OpenVG.

  • Mobile StrongBOX - Data Vault Dùng thử miễn phí

    Ứng dụng bảo vệ dữ liệu tốt nhất, Mobile StrongBOX được thiết kế để lưu trữ an toàn thông tin cá nhân, chẳng hạn như ảnh hoặc video, mật khẩu, dữ liệu cho tài khoản ngân hàng, tài liệu và bất cứ thứ gì khác mà bạn muốn bảo

  • embedded Finite State Machine (eFSM) Miễn phí

    Cơ sở nhà nước hữu hạn nhúng (FSM) có thể được sử dụng để mô hình hóa và kiểm soát một hệ thống phản ứng hoặc trạng thái. Hệ thống này có thể được đại diện bởi bất kỳ số lượng các tiểu bang. Chuyển tiếp trạng thái được thúc đ

  • Albert Miễn phí

    Albert là một máy phát điện doc cho Common Lisp, tương đương với Javadoc và Doxygen. Hiện nay nó tạo ra tài liệu DocBook. Nó đọc một định nghĩa hệ thống ASDF và tài liệu hệ thống.

  • SETILog for Unix Miễn phí

    SETILog lưu một số số liệu thống kê của một đơn vị SETI@home việc hoàn thành trong một tập tin CSV văn bản. Tập tin này là cần thiết bởi SETIWatch để theo dõi các đơn vị làm việc hoàn thành.

  • HappyDoc Miễn phí

    HappyDoc là một công cụ để trích xuất tài liệu từ mã nguồn Python. Nó khác với các ứng dụng khác như vậy bởi thực tế là nó sử dụng cây phân tích cú pháp cho một mô-đun để lấy được thông tin và không nhập mô-đun.

  • OpenCL .Net Miễn phí

    Dự án này cố gắng làm hai việc. Đầu tiên, nó cung cấp bindings để OpenCL API phản ánh OpenCL 1.1 spec càng chặt chẽ càng tốt. Thứ hai, nó cung cấp một trừu tượng cấp độ cao hơn của API đó là nhiều hơn . Giống như mạng lưới.

  • PAPAS: Path Planning Algorithm Suite Miễn phí

    PAPAS (Path Planning Algorithms Suite) là một tập hợp các thuật toán dành cho lập kế hoạch đường dẫn. Nó có các thuật toán phổ biến như PRM, RRT, Wavefront Planner, v.v. Việc thực hiện được thực hiện bằng ngôn ngữ C và mã đã