Skip to content

LAPKT-dev/libff_parser

 
 

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

20 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

BUILD_LINUX

This directory contains the C implementation of Metric-FF, as it was used in the 3rd international planning competition. Build the planner by typing

make

Which produces an executable named

ff

Usage should be self-explanatory. Running ff without any parameters prints out a brief help information about the parameters that are applicable, which basically come down to specifying the domain and problem files.

Have fun,

Joerg Hoffmann

============================================================================= ADDENDUM: Compiling FF as a library May 2009

In order to compile FF as a static library - so we can use the parsing & grounding features - you need to issue

$ make depend $ make libff

This will generate the libff.a archive file, and then

$ make test_lib $ ./test_lib

which should compile and link without problems (this program checks that the archive is usable).

Have (more) fun,

Nir Lipovetzky Miquel Ramirez

=============================================================================

Now the repository supports cmake build too!

TODO - Known issue with building on Macos - Check build logs @ https://github.com/LAPKT-dev/libff_parser/actions/runs/1772971492

About

No description, website, or topics provided.

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages

  • C 90.2%
  • Yacc 6.2%
  • C++ 1.8%
  • Lex 1.1%
  • Makefile 0.3%
  • CMake 0.3%
  • Python 0.1%