UNB Theorem Prover?

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

• fastAOP Miễn phí

  FastAOP là một AOP hiệu suất rất cao (Aspect Oriented Programming) khuôn khổ cho java. Khuôn khổ ban đầu phát triển để hỗ trợ hồ sơ hiệu suất và giám sát cho các ứng dụng J2EE lớn với hầu như không có thời gian chạy overhad

• Butterfly Code Generator Miễn phí

  Butterfly là một Trình tạo mã đơn giản sử dụng XMI làm mẫu đầu vào và XSLT để tạo bất kỳ loại mã nào. Một số mẫu được cung cấp bao gồm EJB, JDO và Struts. Người dùng có thể sử dụng các mẫu, sửa đổi chúng hoặc tạo ra những cá

• Neural network designer Miễn phí

  Dự án này bao gồm một ứng dụng thiết kế dựa trên windows và một thư viện (có thể chạy trên nhiều nền tảng, bao gồm cả Android) cùng với một số ứng dụng demo (bao gồm một ứng dụng chatbot MVC3 và một ứng dụng Android).Nó có

• DL-Learner Miễn phí

  DL-Learner là một công cụ để học các khái niệm trong Description Logics (DLs) từ các ví dụ do người dùng cung cấp. Tương tự, nó có thể được sử dụng để tìm hiểu các lớp học trong owl ontologies từ các đối tượng được lựa chọn.

• MakeEmbeddedRootfilesystem Miễn phí

  Makerootfs giúp bạn dễ dàng xây dựng hệ thống tập tin gốc cho các thiết bị nhúng (ví dụ: dựa trên ARM) bằng cách tự động hóa quá trình biên dịch chéo thông qua các tập lệnh vỏ, bản vá lỗi và cấu hình mặc định. Không giống như

• VCS Agents and Tools Miễn phí

  Mục tiêu của dự án này là cung cấp các plugin (&agents") cho Veritas Cluster Server trên cơ sở Mã nguồn mở.

• Etnia Workbench Miễn phí

  Phần mở rộng cho dự án CDT mà cấu hình trình biên dịch thêm và các plugin khác để làm cho tích hợp plattform khác nhau (thực sự Texas Instrument & PIC vi xử lý)

• Steini\'s Mini Compiler Miễn phí

  Steini 's Mini Compiler là một trình biên dịch DOS 16 bit nhanh. Xin vui lòng giúp đỡ để cải thiện ngôn ngữ lập trình bằng văn bản lệnh mới. Trình biên dịch sử dụng một tập hợp các tập tin lắp ráp cho quá trình biên dịch.

• JCustomizer Miễn phí

  Mục tiêu của dự án JCustomizer là tùy biến chung chung và liên tục của mọi GUI Java Swing / AWT tại thời gian chạy: phông chữ, màu sắc, văn bản, máy gia tốc, ... Một đệm tốt đẹp là một truy cập WYSIWYG để quốc tế hóa mà không

• net.sourceforge.ajstruts Miễn phí

  Mã nguồn của một bài báo (http://ajstruts.sf.net) được xuất bản vào tháng 11 năm 2003 trên tạp chí tiếng Đức & Java Magazin" cho thấy làm thế nào để thích ứng với libs bên thứ 3 (ví dụ như thanh chống) cho nhu cầ