Learn R Programming

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

rminizinc (version 0.0.2)

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

240

Version

0.0.2

License

Mozilla Public License Version 2.0

Issues

Pull Requests

Stars

Forks

Maintainer

Akshit Achara

Last Published

December 17th, 2020

Functions in rminizinc (0.0.2)

ArrDomainDecl

declare n-D array with domain
BoolDecl

new bool declaration
BoolArrDecl

n-D bool array declaration
Array

create an array
Bool

Bool
AssignItem

Assignment Items
Annotation

Annotation
BoolSetDecl

set of bool declaration
ArrayAccess

Array Access
BinOp

BinOp
ConstraintItem

Constraint Items
FloatArrDecl

n-D float array declaration
Float

Float
FloatSetVal

Float set value
FloatVal

FloatVal class (not exposed to user)
FloatDecl

float declaration
FloatSetDecl

set of float declaration
IntSetDecl

int set declaration
IntDecl

int declaration
Expression

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

Include Items
Id

Id class (not exposed to the user)
Int

Int
IntArrDecl

n-D int array declaration
Let

Let
LIBMINIZINC_PATH

Absolute path of the libminizinc library
SOLVER_BIN

Absolute path of the solver executable directory
Generator

Generator
Comprehension

Comprehension
Call

Call
Model

MiniZinc Model class
FunctionItem

Function Items
Ite

Ite
VarDeclItem

The variable declaration item
VarDomainDecl

declare 0-D variable with domain
PROJECT_DIRECTORY

Absolute path of project directory
Item

Item class (Abstract)
IntSetVal

Integer set value
IntVal

IntVal class (not exposed to user)
boolExpressions

get bools
initExpression

initExpression (not exposed to the user)
expressionDelete

delete an expression
Set

Set
UnOp

UnOp
VarDecl

VarDecl
floatExpressions

get floats
SolveItem

SolveItem
getRModel

init all classes
Type

Type class
mzn_parse

MiniZinc syntax parser
helperDeleteItem

helper delete item
helperDeleteExpression

helper delete expression
mzn_eval

MiniZinc model evaluation
sol_parse

parse the solution
initItem

initialize R6 from parsed (not to be exposed)
stringExpressions

get strings
StringArrDecl

n-D bool array declaration
StringSetDecl

set of string declaration
intExpressions

get ints
String

String
itemDelete

search item in model and delete
iterExpression

iterate through expressions and delete (Under Development)
TypeInst

TypeInst
iterItem

check all possible items(Under Development)
get_missing_pars

get missing parameters
getType

initialized type (not exposed to user)
rminizinc-package

rminizinc: R Interface to Use 'MiniZinc'
set_params

set missing parameters