--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/README	Fri Mar 11 19:24:34 2016 +0900
@@ -0,0 +1,20 @@
+# Akasha
+
+Akasha aims verification of data structures in Gears.
+
+
+# How to Compile
+Akasha has dependencies for Gears.
+Please set environment variable GEARS_PATH and CBC_COMPILER like to follow as:
+  export CBC_COMPILER=/usr/local/Cellar/cbc/HEAD/bin/clang
+  export GEARS_PATH=/Users/home/hg/Gears
+Akasha uses CMake for build.
+Please type commands in ``src`` directory.
+  $ cmake .
+  $ make
+
+
+# Coding Rules
+naming rule: camelCase.
+tab: soft tab (4 spaces)
+