-
This website itself!
I cannot deny that this website is one of my portfolios...
-
Method outline view for Eclipse Platform
I created this view in Project Research B last year.
Download from here.
Now I'm developing verification/correction tool for Eclipse Platform. -
Extremely easy concentration game
I created this as an assignment when I learned Swift programming by iTunes podcast.
Please open the project file and run it on Xcode.
Download from here. -
Uninteresting word game
This is boring word game created in the class of Operating System B. You can play it with others. Please play when you have free time. (I wouldn't play this boring and uninteresting game even if I'm eager to play boring and uninteresting game.)
Download from here:Server, Client, Supplement File
Usage:
$ gcc DieWithError.c myTCPServer.c -o server; gcc DieWithError.c myTCPClient.c -o client
$ ./server 8000
On multiple terminals,$ ./client [server's IP address] 8000
-
Knight's tour
These programs solve the closed knight's tour. I used glucose 4.0 as SAT solver.
NxN board
If you want to solve within the program by using Warnsdorff's rule, download from here.
If you want to encode into CNF file and solve with SAT solver, choose from brute force or Warnsdorff's rule.
MxN board
If you want to encode into CNF file and solve with SAT solver, choose from brute force or Warnsdorff's rule.
If you want to decode the result generated by SAT solver, please use this decoder.
Example Usage:
$ gcc a3p1.c -o a3p1; ./a3p1 2 3 3
Closed knight's tour starting from (3,3)
$ glucose a3p1.cnf result.sat; ./decoder
Solved by SAT solver and decoding the result
$ cat a3p1.sol
Displaying the decoding result -
Nothing so far...
I plan to upload something I create in the future.