// -*- coding: utf-8 -*-
// ---
// jupyter:
//   jupytext:
//     text_representation:
//       extension: .scala
//       format_name: light
//       format_version: '1.5'
//       jupytext_version: 1.14.4
//   kernelspec:
//     display_name: Scala
//     language: scala
//     name: scala
// ---

// This page is for experiencing a SAT-based Constraint Programming system [Scarab](https://tsoh.org/scarab/index.html).  
// You can find its documents and details in [Scarab](https://tsoh.org/scarab/index.html).  
//
// このページはSAT型制約プログラミングシステム [Scarab](https://tsoh.org/scarab/jp/index.html) を体験するためのページです．  
// Scarab のチュートリアルは [URL](https://tsoh.org/scarab/jp/index.html) に REPL を使って行うものがあり，
// 同様のチュートリアルをこのページでも行うことが可能です．  
//
// 以下では必要なライブラリを import しています．  
// import 文を最初の1度だけ実行すれば Scarab および DSL のクラスが読み込まれます．  
// 後は, reset をプログラムの区切り毎に記述すれば自由にプログラムが書けます．  
//
// (注意) ブラウザを閉じて10分以上経つとセッションは削除されます．プログラムを残したい場合は，こまめにダウンロードするようにしてください．  

import $cp.`scarab`
import jp.kobe_u.scarab._
import dsl._

// 以下はプログラム例です.   
//   
// (1) 上の import 文をすでに実行して (run, 三角の再生ボタンを押して) いること  
// (2) reset を一番上に書くこと  
//   
// を行ってから実行することに注意してください．

// +
reset
int('x, 0, 9)
int('y, 0, 9)
add('x + 'y === 3)

find

solution.intMap.foreach(println)
// -

// 別のプログラム例です. 

// +
reset

int('a, 0, 10)
int('b, 0, 10)
int('c, 0, 10)
int('d, 0, 10)

add('a * 12 + 'b * 16 + 'c * 20 + 'd * 27 === 90)

find

solution.intMap.foreach(println)
// -



StarcoderdataJupyterScriptsDedupFiltered