Visual Solver A modeling language for constraint programming

1997 ◽  
pp. 1-1 ◽  
Author(s):  
Pascal Van Hentenryck
Keyword(s):  
Constraint Programming ◽  
Modeling Language

scholarly journals The MiniZinc Challenge 2008–2013

AI Magazine ◽  
2014 ◽  
Vol 35 (2) ◽  
pp. 55-60 ◽  
Author(s):  
Peter J. Stuckey ◽  
Thibaut Feydy ◽  
Andreas Schutt ◽  
Guido Tack ◽  
Julien Fischer
Keyword(s):  
Integer Programming ◽  
Mixed Integer Programming ◽  
Constraint Programming ◽  
Optimization Problems ◽  
Mixed Integer ◽  
Modeling Language

MiniZinc is a solver agnostic modeling language for defining and solver combinatorial satisfaction and optimization problems. MiniZinc provides a solver independent modeling language which is now supported by constraint programming solvers, mixed integer programming solvers, SAT and SAT modulo theory solvers, and hybrid solvers. Since 2008 we have run the MiniZinc challenge every year, which compares and contrasts the different strengths of different solvers and solving technologies on a set of MiniZinc models. Here we report on what we have learnt from running the competition for 6 years.

Perancangan dan Pembuatan Aplikasi Pendeteksi Kesalahan Penempelan Barcode pada Kemasan Produk Menggunakan Sistem Arduino Uno dan Sistem Komputasi (Studi Kasus PT. Duta Nichirindo Pratama)

2020 ◽  
Vol 5 (1) ◽  
pp. 78
Author(s):  
Ade Sumaedi ◽  
Makhsun Makhsun ◽  
Achmad Hindasyah
Keyword(s):  
Unified Modeling Language ◽  
Database Design ◽  
Black Box ◽  
Design System ◽  
Modeling Language ◽  
Unified Modeling ◽  
Uml Diagrams ◽  
Arduino Uno ◽  
Menu Design ◽  
A Company

PT. Duta Nichirindo Pratama is a company engaged in the field of Autoparts Manufacture. Barcode is the identity of an item / product on the package. Barcode technology has been used as the identity of goods in a production. Barcodes are used to facilitate the identification of goods produced. Paste the barcode on the packaging of packaging results at PT. Duta Nichirindo Pratama is done manually, but there are often errors attached to the barcode on a similar packaging. This research will design and create a system based on Visual Basic.Net and Arduino to select barcode attachment errors that have the potential to be sent to consumers. The system is designed using Unified Modeling Language (UML) diagrams, database design and interface menu design. The system created will then be tested to detect the black box test. With a computing-based design system that functions to detect barcodes on the packaging automatically, the problem of sticking barcodes on the packaging can be detected.

Prototype Aplikasi Pengolahan Data Pegawai Di PT.Medikon Prima Laboratories

Sensi Journal ◽  
2020 ◽  
Vol 6 (1) ◽  
pp. 60-72
Author(s):  
Ade Setiade ◽  
Luthfia Fauzia ◽  
Iwan Hermawan
Keyword(s):  
Unified Modeling Language ◽  
Modeling Language ◽  
Unified Modeling

PT.Medikon prima laboratories didirikan pada tahun 1980, hingga sekarang. PT.Medikon mengalami perkembangan yang sangat pesat. Jenis produk yang dihasilkan mencakup produk farmasi , OT (obat tradisional), suplemen dan kosmetik. PT.Medikon Prima Laboratories telah mengimpor produk ke seluruh wilayah indonesia.Yang beralamat di Jl. Raya Serang No. 23, Bitung Jaya, Cikupa, Kabupaten Tangerang. Untuk memudahkan pengolahan data para pegawai, inputan data Cuti dan Absensi maupun izin sakit dibutuhkan suatu perangkat lunak yang nantinya dapat melakukan pengolahan data ,berdasarkan permasalahan tersebut maka perlu di lakukan analisis sehinnga nantinya dapat diperoleh hasil dan kebutuhankebutuhan yang diperlukan untuk perangkat /system yang akan di bangun. Analisis dilakukan dengan melakukan cara menganalisis kebutuhan, pengguna dan fasilitas yang diperlukan oleh perangkat lunak yang di bangun benar-benar bermanfaat.berdasarkan hasil analisis permasalahan yang dilakukan sebelumnya, maka dapat rancangan suatu sistem perangkat lunak dengan melakukan analisis data menggunakan beberapa metode antara lain : wawancara dan observasi maupun studi pustaka, dengan menggunakan software UML (Unified Modeling Language).berdasarkan hasil analisis tersebut maka penulis melakukan penelitian dan mengambil judul yang berkaitan dengan "Prototype Aplikasi Pengolahan Data Pegawai Di PT.Medikon Prima Laboratories".yang dapat membantu dan memudahkan dalam melakukan pengolahan data pegawai dan dapat menampilkan informasi akurat yang di butuhkan oleh pengguna di PT.Medikon prima laboratories.

CONCEPTUAL MODELING LANGUAGE AGILA MOD

2019 ◽  
Vol 2 (4) ◽  
pp. 246-258 ◽  
Author(s):  
Lore Kern-Bausch ◽  
Kolonko Matthias ◽  
Sabine Müllenbach
Keyword(s):  
Conceptual Modeling ◽  
Modeling Language

A Method of Train Regulation Planning by the Constraint Programming Using Train Regulation Knowledge

2010 ◽  
Vol 130 (2) ◽  
pp. 332-342 ◽  
Author(s):  
Shuichiro Sakikawa ◽  
Tatsuhiro Sato ◽  
Toyohisa Morita ◽  
Kenji Ohta
Keyword(s):  
Constraint Programming

VBEML: Virtual Breeding Environment Modeling Language

2017 ◽  
Vol 49 (004) ◽  
pp. 743--746
Author(s):  
S. N. PATHAN ◽  
N. J. RAJPER ◽  
H. A. NIZAMANI
Keyword(s):  
Modeling Language ◽  
Environment Modeling
Sign in / Sign up

Export Citation Format

Share Document