معرفی شرکت ها
universe amd64
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
بسته
توضیح خلاصه
-
Simple C API for COIN-OR Solvers Clp and Cbc -- development
-
Simple C API for COIN-OR Solvers Clp and Cbc -- library
-
Coin-or collection of utility classes (developer files)
-
Coin-or collection of utility classes (binaries and libraries)
-
Linear programming solver using of the dynamic simplex algorithm
-
Linear programming solver using the dynamic simplex algorithm
-
Linear programming solver using of the dynamic simplex algorithm
-
Formulation of Linear Optimization Problems in C++
-
Formulation of Linear Optimization Problems in C++
-
Formulation of Linear Optimization Problems in C++
-
Interior-Point Optimizer - header files
-
Interior-Point Optimizer, for large-scale nonlinear optimization
-
Interior-Point Optimizer - debugging symbols
-
COIN-OR Open Solver Interface (developer files)
-
COIN-OR Open Solver Interface
-
COIN-OR solver for mixed-integer linear programs (developer files)
-
COIN-OR solver for mixed-integer linear programs (shared libraries)
-
Coin-or linear programming solver
-
Coin-or linear programming solver
-
Coin-or linear programming solver
-
COIN-OR solver for mixed-integer linear programs
-
ROS collada_urdf tools
-
lemmatisation of latin text
-
statistics collection and monitoring daemon
-
statistics collection and monitoring daemon (core system)
-
statistics collection and monitoring daemon (debugging symbols)
-
statistics collection and monitoring daemon (utilities)
-
Structure-from-Motion and Multi-View Stereo
-
educational programming strategy game
-
advanced clone of the MasterMind code-breaking game
-
miscellaneous GUI utilities interacting with colord
-
Color management for KDE
-
system service to manage device colour profiles -- argyll sensor plugin
-
Tools for the Hughski Colorimeter
-
Colorizes text on terminal with ANSI escape sequences
-
tools for consuming logs with ANSI color
-
log colorizer that makes log checking easier
-
Tandem mass spectrometry (MS/MS) search engine
-
Option GlobeTrotter and Vodafone datacard control tool
-
command line tool for comparing two PDF files
-
Confine services in a limited environment
-
Compress/decompress images for mailheaders, user tools
-
OpenGL window and compositing manager
-
OpenGL window and compositing manager - development files
-
OpenGL window and compositing manager - GNOME window decorator
-
OpenGL window and compositing manager - MATE integration
-
OpenGL window and compositing manager - plugins
-
OpenGL window and compositing manager - default plugins
-
tool for analyzing the complexity of C program functions
-
Gui based tool to compare two text streams
-
compositor for X11, based on xcompmgr
-
Compton Configurator for Qt
-
GUI based tool to compare two RTTY streams
-
console calculator
-
predictor of protein ligand binding sites from structure and conservation
-
configuration tool for Harmony remotes
-
offline conference schedule application
-
read variables from INI-style configuration files
-
text only program to conjugate Brazilian verbs
-
highly configurable system monitor (all features enabled)
-
highly configurable system monitor (all features enabled - debug)
-
highly configurable system monitor (basic version)
-
highly configurable system monitor (basic version - debug)
-
highly configurable system monitor (default version)
-
highly configurable system monitor (default version - debug)
-
serial console management program
-
Establish TCP connection using SOCKS4/5 or HTTP tunnel
-
word unscrambling game
-
brain visualization, analysis and discovery tool
-
brain visualization, analysis and discovery tool -- debug symbols
-
Intel Connection Manager daemon
-
Development files for connman
-
Full-featured GTK-based tray icon UI for ConnMan
-
Intel Connection Manager daemon - VPN daemon
-
Connection tracking daemon
-
linux console pointer support for copy-paste
-
Fonts and keymaps for reading/typing unicode braille
-
Remote control of Linux virtual consoles
-
tool for service discovery, monitoring and configuration
-
daemon to control runC
-
image generator based on context-free grammars
-
convert 8 bit character encoding in file names and text content to UTF-8
-
batch image converter and resizer
-
chess book format converter
-
convert Microsoft Reader .LIT files to HTML
-
suite of programs to help maintain a fortune database
-
Smart Card PKCS #11 cryptographic module
-
Mail notifier with 3d graphics
-
cooperative computing tools
-
libraries and header files for coop-computing-tools
-
Versioning filesystem for FUSE
-
Advanced clipboard manager with editing and scripting features
-
Plugins for CopyQ
-
proof assistant for higher-order logic (toplevel and compiler)
-
proof assistant for higher-order logic (theories)
-
proof assistant for higher-order logic (gtk interface)
-
Native Gtk+ Twitter client for the Linux desktop
-
enable core files and report crashes to the sysadmin
-
tunnel TCP connections through HTTP proxies
-
cluster engine notification daemon