Learn R Programming

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

rminizinc (version 0.0.4)

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

309

Version

0.0.4

License

Mozilla Public License Version 2.0

Issues

Pull Requests

Stars

Forks

Maintainer

Akshit Achara

Last Published

January 22nd, 2021

Functions in rminizinc (0.0.4)

AssignItem

Assignment Items
Bool

Bool
Array

create an array
BoolSetDecl

set of bool declaration
BinOp

BinOp
BoolDecl

new bool declaration
BoolArrDecl

n-D bool array declaration
Annotation

Annotation
ArrayAccess

Array Access
ConstraintItem

Constraint Items
Call

Call
Expression

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

Let
Int

Int
IntArrDecl

n-D int array declaration
VarDomainDecl

declare 0-D variable with domain
VarDeclItem

The variable declaration item
intExpressions

get ints
LIBMINIZINC_PATH

Absolute path of the libminizinc library
ArrDomainDecl

declare n-D array with domain
sol_parse

parse the solution
IntSetVal

Integer set value
itemDelete

search item in model and delete
stringExpressions

get strings
FloatDecl

float declaration
Float

Float
FloatArrDecl

n-D float array declaration
FunctionItem

Function Items
iterExpression

iterate through expressions and delete (Under Development)
Comprehension

Comprehension
PROJECT_DIRECTORY

Absolute path of project directory
Model

MiniZinc Model class
Ite

Ite
Generator

Generator
FloatSetDecl

set of float declaration
UnOp

UnOp
VarDecl

VarDecl
Item

Item class (Abstract)
initExpression

initExpression (not exposed to the user)
IncludeItem

Include Items
Id

Id class (not exposed to the user)
IntVal

IntVal class (not exposed to user)
mzn_eval

MiniZinc model evaluation
getType

initialized type (not exposed to user)
initItem

initialize R6 from parsed (not to be exposed)
SOLVER_BIN

Absolute path of the solver executable directory
helperDeleteExpression

helper delete expression
helperDeleteItem

helper delete item
Set

Set
SolveItem

SolveItem
FloatSetVal

Float set value
IntSetDecl

int set declaration
String

String
FloatVal

FloatVal class (not exposed to user)
boolExpressions

get bools
IntDecl

int declaration
Type

Type class
rminizinc-package

rminizinc: R Interface to Use 'MiniZinc'
StringArrDecl

n-D bool array declaration
floatExpressions

get floats
StringSetDecl

set of string declaration
get_missing_pars

get missing parameters
iterItem

check all possible items(Under Development)
getRModel

init all classes
TypeInst

TypeInst
mzn_parse

MiniZinc syntax parser
expressionDelete

delete an expression
set_params

set missing parameters