Arnot

include "globals.mzn";

% Upper bound on #cycles
  int: N = 10;

% Configuration
  int: vregs = 1;
  int: buses = 1;
  int: registers = 1;

Arnot

%
% First version of constraint model for add-example on alu-rf configuration
%

include "globals.mzn";

  int: N = 10;
  int: vregs = 3;
  int: buses = 2;
  int: registers = 3;

Arnot

#include <stdio.h>
#include <stdlib.h>
#include <stdint.h>

#define STACK_MIN_SIZE 32

union Datum {
  uint8_t lo, hi;
  uint16_t uint;
};