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

elisa 1.0.4

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

Về elisa

Elisa là một thư viện C++ mở cho các kỹ thuật lập trình hạn chế và giải quyết ràng buộc. Các thuật toán dựa trên khoảng thời gian để giải quyết các ràng buộc liên tục yêu cầu Gaol (http://sf.net/projects/gaol) đã được cài đặt trên hệ thống của bạn.

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

  • OpenOrbs Miễn phí

    Một bộ sưu tập mã nguồn mở của các tiện ích và đoạn mã để nâng cao chức năng của - và kinh nghiệm sử dụng - OrbForms Designer cho Palm OS từ Phần mềm OrbWorks.

  • OCaml FFI Generator Miễn phí

    Một công cụ để tạo ra các giao diện để C chức năng và datatypes. Bao gồm một giao diện hoàn chỉnh với C Xlib tiêu chuẩn. Dự án này có sự chồng chéo đáng kể với một số

  • Yann Miễn phí

    Yann là một mạng lưới thần kinh khác. Yann là một thư viện để tạo ra các mạng nơ-ron nhanh. Nó cũng là một GIAO DIỆN để dễ dàng tạo, chỉnh sửa, đào tạo, thực hiện và điều tra mạng. Nhiều topo, thuộc tính thời gian chạy và học

  • Ngspice Extensions Miễn phí

    Phần mở rộng cho mô phỏng mạch Ngspice. Một phần mở rộng là tích hợp hệ thống xây dựng thế hệ tiếp theo SCons.

  • PyGeo - Dynamic 3d Geometry in Python Miễn phí

    PyGeo là một framework hình học 3d động được viết bằng Python,kết xuất với VPython.

  • Kstella - A KDE frontend for Stella Miễn phí

    Kstella là một lối vào KDE cho giả lập Atari 2600 tuyệt vời, Stella. Nó hỗ trợ xem ảnh chụp màn hình trò chơi và quét hộp mực, cũng như xem hướng dẫn sử dụng trò chơi ở định dạng HMTL.

  • Dharma - Visual Source Safe Client Miễn phí

    Check-in, check-out và lịch sử cho các dự án an toàn nguồn trực quan từ Emacs và dòng lệnh Unix. Một lý do khác không bao giờ rời khỏi Emacs.

  • Startx Administration System Miễn phí

    startx là tên dự án cho một giao diện xây dựng trong php mà có đầu ra của một số sản phẩm như MRTG hoặc awstats hoặc ACID ... và đặt chúng lại với nhau trong cùng một giao diện Web.

  • ManhattanLines Miễn phí

    Định tuyến đường orthogonal (hay còn gọi là manhattan) làmột kỹ thuật để hiển thị một con người có thể đọc đượcsơ đồ phân cấp. Đường Manhattanthực hiện thuật toán định tuyến đường trực giaogiảm thiểu chiều dài đường v

  • RAINBOW Calculator Widget Dùng thử miễn phí

    Nó cuối cùng đã đi ra ngoài. Widget máy tính có thể được sử dụng cùng một lúc bằng cách làm cho nó cư trú. Tất cả thời gian khi chương trình ứng dụng được bắt đầu được loại trừ. Máy tính thời gian thực có thể làm sớm