aboutsummaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* v0.10.1Shinya Sato2022-12-225-62/+178
* Update README.mdShinya Sato2022-10-271-1/+1
* Update README.mdShinya Sato2022-10-221-2/+2
* Update README.mdShinya Sato2022-10-221-2/+3
* Update Changelog.mdShinya Sato2022-09-281-3/+5
* v0.10.0Shinya Sato2022-09-1719-119/+498
* Update README.mdShinya Sato2022-08-281-3/+4
* Update the speed-up ratio graphShinya Sato2022-08-282-13/+14
* Update for n-queensShinya Sato2022-08-2814-5/+425
* v0.9.2-3Shinya Sato2022-08-221-1/+1
* v0.9.2-3Shinya Sato2022-08-225-290/+445
* v0.9.2-2Shinya Sato2022-08-211-4/+4
* v0.9.2-2Shinya Sato2022-08-211-2/+2
* v0.9.2-2Shinya Sato2022-08-215-1242/+54
* Update README.mdShinya Sato2022-08-171-4/+4
* Update Changelog.mdShinya Sato2022-08-031-4/+5
* v0.9.2-1Shinya Sato2022-08-023-4/+33
* Update Gentle_introduction_Inpla.mdShinya Sato2022-07-311-0/+2
* Update Gentle_introduction_Inpla.mdShinya Sato2022-07-311-0/+2
* v0.9.2Shinya Sato2022-07-301-1/+1
* v0.9.2Shinya Sato2022-07-306-19/+141
* v0.9.1Shinya Sato2022-07-281-1/+1
* v0.9.1Shinya Sato2022-07-282-2/+6
* v0.9.1Shinya Sato2022-07-282-3/+3
* v0.9.1Shinya Sato2022-07-287-30/+238
* v0.9.0Shinya Sato2022-07-251-1/+1
* v0.9.0Shinya Sato2022-07-2510-64/+387
* Update README.mdShinya Sato2022-07-211-1/+1
* v0.8.3-1Shinya Sato2022-07-216-103/+441
* v0.8.3Shinya Sato2022-07-1910-828/+843
* v0.8.2-2Shinya Sato2022-05-3025-349/+1048
* Update for the speed-up ratio graphsShinya Sato2022-05-093-0/+0
* Update descriptions for the speed-up ratio graphShinya Sato2022-05-092-5/+5
* Update README.mdShinya Sato2022-05-021-1/+2
* v0.8.2-1Shinya Sato2022-05-0237-229/+2199
* Update README.mdShinya Sato2022-04-281-1/+1
* v0.8.2Shinya Sato2022-04-2832-260/+657
* Delete .#-emacsI0w9oWShinya Sato2022-04-271-1/+0
* Remove redundant lettersShinya Sato2022-04-2721-56/+3
* Update README.mdShinya Sato2022-04-271-1/+1
* Update README.mdShinya Sato2022-04-271-1/+1
* Update README.mdShinya Sato2022-04-271-6/+6
* Update README.mdShinya Sato2022-04-271-1/+1
* Update README.mdShinya Sato2022-04-161-1/+1
* v0.8.1-2Shinya Sato2022-04-164-12/+16
* Update README.mdShinya Sato2022-04-161-1/+1
* Update README.mdShinya Sato2022-04-161-11/+11
* Benchmarks for OCamlShinya Sato2022-04-1611-5/+186
* Update hanoi.inShinya Sato2022-03-261-1/+2
* Update Changelog.mdShinya Sato2022-03-101-1/+3