Learn R Programming
⚠️There's a newer version (0.0.8) of this package.Take me there.

rminizinc (version 0.0.3)

R Interface to Use 'MiniZinc'

Description

Constraint optimization, or constraint programming, is the name given to identifying feasible solutions out of a very large set of candidates, where the problem can be modeled in terms of arbitrary constraints. 'MiniZinc' is a free and open-source constraint modeling language. Constraint satisfaction and discrete optimization problems can be formulated in a high-level modeling language. Models are compiled into an intermediate representation that is understood by a wide range of solvers. 'MiniZinc' itself provides several solvers, for instance 'GeCode'. R users can use the package to solve constraint programming problems without using 'MiniZinc' directly, modify existing 'MiniZinc' models and also create their own models.

Copy Link

Version

Install

install.packages('rminizinc')

Monthly Downloads

269

Version

0.0.3

License

Mozilla Public License Version 2.0

Issues

3

Pull Requests

0

Stars

14

Forks

2

Maintainer

Akshit Achara

Last Published

January 6th, 2021

Functions in rminizinc (0.0.3)

BoolSetDecl

set of bool declaration
BinOp

BinOp
ArrayAccess

Array Access
ArrDomainDecl

declare n-D array with domain
Array

create an array
Annotation

Annotation
Bool

Bool
BoolDecl

new bool declaration
AssignItem

Assignment Items
BoolArrDecl

n-D bool array declaration
ConstraintItem

Constraint Items
Call

Call
IntDecl

int declaration
IntSetDecl

int set declaration
Comprehension

Comprehension
Id

Id class (not exposed to the user)
IncludeItem

Include Items
Expression

Expression (Abstract class -- should not be initialized)
FloatArrDecl

n-D float array declaration
Generator

Generator
Float

Float
FunctionItem

Function Items
SolveItem

SolveItem
IntArrDecl

n-D int array declaration
Int

Int
String

String
LIBMINIZINC_PATH

Absolute path of the libminizinc library
Item

Item class (Abstract)
Ite

Ite
UnOp

UnOp
VarDecl

VarDecl
FloatDecl

float declaration
Type

Type class
VarDeclItem

The variable declaration item
Let

Let
IntSetVal

Integer set value
FloatSetDecl

set of float declaration
helperDeleteItem

helper delete item
helperDeleteExpression

helper delete expression
mzn_parse

MiniZinc syntax parser
mzn_eval

MiniZinc model evaluation
FloatSetVal

Float set value
Model

MiniZinc Model class
PROJECT_DIRECTORY

Absolute path of project directory
FloatVal

FloatVal class (not exposed to user)
expressionDelete

delete an expression
boolExpressions

get bools
initExpression

initExpression (not exposed to the user)
initItem

initialize R6 from parsed (not to be exposed)
rminizinc-package

rminizinc: R Interface to Use 'MiniZinc'
VarDomainDecl

declare 0-D variable with domain
intExpressions

get ints
set_params

set missing parameters
floatExpressions

get floats
TypeInst

TypeInst
getRModel

init all classes
iterItem

check all possible items(Under Development)
StringSetDecl

set of string declaration
iterExpression

iterate through expressions and delete (Under Development)
StringArrDecl

n-D bool array declaration
itemDelete

search item in model and delete
sol_parse

parse the solution
getType

initialized type (not exposed to user)
SOLVER_BIN

Absolute path of the solver executable directory
stringExpressions

get strings
get_missing_pars

get missing parameters
IntVal

IntVal class (not exposed to user)
Set

Set