Initial commit

.gitignore

@@ -0,0 +1 @@
+/vendor/

.scrutinizer.yml

@@ -0,0 +1,57 @@
+# inherit the next configuration down the chain
+inherit: true
+
+filter:
+  paths:
+    - 'src/*'
+
+before_commands:
+  - 'composer install --no-interaction --no-scripts'
+
+tools:
+  php_mess_detector:
+    config:
+      code_size_rules:
+        cyclomatic_complexity: true
+        npath_complexity: true
+        excessive_method_length: true
+        excessive_class_length: true
+        excessive_parameter_list: true
+        excessive_public_count: true
+        too_many_fields: true
+        too_many_methods: true
+        excessive_class_complexity: true
+      design_rules:
+        number_of_class_children: true
+        depth_of_inheritance: true
+        coupling_between_objects: true
+      unused_code_rules:
+        unused_local_variable: true
+        unused_private_method: true
+        unused_formal_parameter: true
+      naming_rules:
+        short_variable: false
+        long_variable: true
+        short_method: true
+        boolean_method_name: true
+      controversial_rules: ~
+  php_cs_fixer:
+    config:
+      level: all
+  php_analyzer:
+    config:
+      suspicious_code: { enabled: true, overriding_parameter: true }
+      verify_php_doc_comments: { enabled: true }
+      loops_must_use_braces: { enabled: true }
+      simplify_boolean_return: { enabled: true }
+      phpunit_checks: { enabled: true }
+      reflection_fixes: { enabled: true }
+      use_statement_fixes: { enabled: true, order_alphabetically: true }
+  php_code_sniffer:
+    config:
+      standard: PSR2
+  sensiolabs_security_checker: true
+  php_loc: true
+  php_pdepend: true
+  php_sim: true
+  php_changetracking: true

.travis.yml

@@ -0,0 +1,27 @@
+language: php
+
+php:
+  - 5.6
+  - 5.5
+  - hhvm
+
+env:
+  global:
+    - SYMFONY_ENV=test
+
+cache:
+  directories:
+    - $HOME/.composer
+
+matrix:
+  fast_finish: true
+  allow_failures:
+    - php: 5.6
+    - php: hhvm
+
+before_script:
+  - composer selfupdate
+  - composer install --no-interaction --no-scripts
+
+script:
+  - ./vendor/bin/phpunit

README.md

@@ -0,0 +1,6 @@
+Propositional Calculus
+======================
+
+Implementation of a Propositional Calculus in PHP.
+
+Based on the book [Artificial Intelligence - foundations of computational agents](http://artint.info) chapter [5 Propositions and Inference](http://artint.info/html/ArtInt_100.html).

composer.json

@@ -0,0 +1,25 @@
+{
+    "name": "fieg/propositional-calculus",
+    "license": "MIT",
+    "description": "Implementation of a Propositional Calculus in PHP",
+    "type": "library",
+    "keywords": ["artificial", "intelligence", "propositional", "calculus"],
+    "homepage": "https://github.com/fieg/csp",
+    "authors": [
+      {
+        "name": "fieg",
+        "email": "[email protected]"
+      }
+    ],
+    "minimum-stability": "stable",
+    "require": {
+    },
+    "require-dev": {
+        "phpunit/phpunit": "~4.1"
+    },
+    "autoload": {
+      "psr-4": {
+        "Fieg\\PC\\": "src/Fieg/PC/"
+      }
+    }
+}